[PHP-DOC] cvs: phpdoc / Makefile.in

[Jouni Ahto]

jah             Sat Feb  3 13:51:07 2001 EDT

  Modified files:              
    /phpdoc     Makefile.in 
  Log:
  
  Must ignore errors from jadetex, it always complains about something.
  
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.52 phpdoc/Makefile.in:1.53
--- phpdoc/Makefile.in:1.52     Wed Jan 31 12:20:40 2001
+++ phpdoc/Makefile.in  Sat Feb  3 13:51:07 2001
@@ -26,7 +26,7 @@
 # +----------------------------------------------------------------------+
 
 #
-# $Id: Makefile.in,v 1.52 2001/01/31 20:20:40 jah Exp $
+# $Id: Makefile.in,v 1.53 2001/02/03 21:51:07 jah Exp $
 #
 
 VPATH=@srcdir@
@@ -134,7 +134,7 @@
        sed -e '/HeadingText/,/endHeadPar/ s/_/\\137/g' manual.tex.tmp > manual.tex
        rm manual.tex.tmp
 
-       jadetex $<
+       -jadetex $<
        jadetex $<
        jadetex $<
        dvipdfm -p @PDF_PAPER_TYPE@ manual.dvi