Generación PDFs al realizar git push

DGIIMUnderground / DGIIM1

Repositorio de apuntes para el primer curso del Doble Grado de Ingeniería Informática y Matemáticas

GNU General Public License v3.0

37 stars 14 forks source link

Open advy99 opened 6 years ago

advy99 commented 6 years ago

Script para crear y añadir PDF a partir de ficheros .tex al realizar push.

Solución #6