Generate PDF documentation for code on Travis CI

.travis.yml

@@ -1,5 +1,4 @@
 language: c
-dist: trusty
 sudo: required
 
 os:
@@ -14,6 +13,7 @@ addons:
   apt:
     packages:
       - doxygen
+      - doxygen-latex
 
 cache:
   directories:
@@ -30,9 +30,11 @@ script:
   - (cd examples && make)
   - (cd GRRLIB && sudo -E make PLATFORM=cube clean all)
   - doxygen grrlib.doxygen
+  - (cd latex && make)
 
 before_deploy:
   touch $TRAVIS_BUILD_DIR/doc/.nojekyll
+  mv $TRAVIS_BUILD_DIR/latex/refman.pdf $TRAVIS_BUILD_DIR/doc/PDF-documentation.pdf
 
 deploy:
   provider: pages

grrlib.doxygen

@@ -1629,7 +1629,7 @@ EXTRA_SEARCH_MAPPINGS  =
 # If the GENERATE_LATEX tag is set to YES, doxygen will generate LaTeX output.
 # The default value is: YES.
 
-GENERATE_LATEX         = NO
+GENERATE_LATEX         = YES
 
 # The LATEX_OUTPUT tag is used to specify where the LaTeX docs will be put. If a
 # relative path is entered the value of OUTPUT_DIRECTORY will be put in front of
@@ -1672,7 +1672,7 @@ COMPACT_LATEX          = NO
 # The default value is: a4.
 # This tag requires that the tag GENERATE_LATEX is set to YES.
 
-PAPER_TYPE             = a4wide
+PAPER_TYPE             = a4
 
 # The EXTRA_PACKAGES tag can be used to specify one or more LaTeX package names
 # that should be included in the LaTeX output. The package can be specified just