[travis] Make overfull hboxes a presubmit error. (#1780)

Also delete the "manual" check since "complete" subsumes "manual".

Author: tkoeppe

.travis.yml

@@ -3,17 +3,17 @@
 #
 
 env:
-  - BUILD_TYPE=latexmk   # build using latexmk
+  - BUILD_TYPE=latexmk   # build using latexmk, also check for overfull hboxes
   - BUILD_TYPE=make      # build using Makefile
-  - BUILD_TYPE=manual    # build manually
-  - BUILD_TYPE=complete  # build manually and regenerate figures, grammer, and cross-references
+  - BUILD_TYPE=complete  # build manually and regenerate figures, grammar, and cross-references
   - BUILD_TYPE=check-whitespace  # check for whitespace at the ends of lines
 
 script:
   # Build std.pdf
   - pushd source
   - if [ "$BUILD_TYPE" = "latexmk" ]; then
       latexmk -pdf std;
+      ! grep -Fe "Overfull \\hbox" std.log;
     fi
   - if [ "$BUILD_TYPE" = "make" ]; then
       make -j2;
@@ -22,8 +22,6 @@ script:
       for FIGURE in *.dot; do
         dot -o$(basename $FIGURE .dot).pdf -Tpdf $FIGURE;
       done;
-    fi
-  - if [ "$BUILD_TYPE" = "manual" -o "$BUILD_TYPE" = "complete" ]; then
       pdflatex std;
       pdflatex std;
       pdflatex std;