[MLton-commit] r4263

[Stephen Weeks]

Tweaked call to htmldoc.

----------------------------------------------------------------------

U   mlton/trunk/bin/make-pdf-guide
U   mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide

----------------------------------------------------------------------

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2005-11-30 18:39:11 UTC (rev 4262)
+++ mlton/trunk/bin/make-pdf-guide	2005-11-30 18:40:14 UTC (rev 4263)
@@ -127,7 +127,7 @@
 ) >$book
 
 echo 'Running htmldoc.'
-htmldoc --batch $book
+htmldoc --batch $book || true
 
 mv $pdf $src/doc/guide
 

Modified: mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide
===================================================================
--- mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide	2005-11-30 18:39:11 UTC (rev 4262)
+++ mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide	2005-11-30 18:40:14 UTC (rev 4263)
@@ -9,12 +9,4 @@
  	mv .tmp $f
  done
  
-@@ -127,7 +127,7 @@
- ) >$book
  
- echo 'Running htmldoc.'
--htmldoc --batch $book
-+htmldoc --batch $book || true
- 
- mv $pdf $src/doc/guide
-