.travis.yml

# Install LaTeX dependencies and try to generate PDF from .tex source.
# See:
# https://github.com/harshjv/travis-ci-latex-pdf/blob/master/.travis.yml

sudo: required
dist: trusty
before_install:
- sudo apt-get -qq update && sudo apt-get install -y --no-install-recommends texlive-fonts-recommended texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended
script:
# Make the narrow and normal width PDFs, fail if either fail to generate.
# We need to make the narrow one first, because it overwrites metamath.pdf.
- ./make-narrow
- ./generate-pdf
# deploy:
#   provider: releases
#   api_key:
#     secure: [YOUR KEY]
#   file:
#   - _build/your_file_1.pdf
#   - _build/your_file_2.pdf
#   skip_cleanup: true
#   on:
tags: true