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

[Jouni Ahto]

jah             Sat Feb  3 13:55:57 2001 EDT

  Modified files:              
    /phpdoc     Makefile.in 
  Log:
  
  Ignore more errors from jadetex.
  
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.53 phpdoc/Makefile.in:1.54
--- phpdoc/Makefile.in:1.53     Sat Feb  3 13:51:07 2001
+++ phpdoc/Makefile.in  Sat Feb  3 13:55:56 2001
@@ -26,7 +26,7 @@
 # +----------------------------------------------------------------------+
 
 #
-# $Id: Makefile.in,v 1.53 2001/02/03 21:51:07 jah Exp $
+# $Id: Makefile.in,v 1.54 2001/02/03 21:55:56 jah Exp $
 #
 
 VPATH=@srcdir@
@@ -135,8 +135,8 @@
        rm manual.tex.tmp
 
        -jadetex $<
-       jadetex $<
-       jadetex $<
+       -jadetex $<
+       -jadetex $<
        dvipdfm -p @PDF_PAPER_TYPE@ manual.dvi
 
 html/index.html: manual.xml $(HTML_DEPS)