jah             Sun Sep  2 19:46:39 2001 EDT

  Modified files:              
    /phpdoc     Makefile.in 
  Log:
  Added an empty line for clarity.
  
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.64 phpdoc/Makefile.in:1.65
--- phpdoc/Makefile.in:1.64     Sun Sep  2 09:16:42 2001
+++ phpdoc/Makefile.in  Sun Sep  2 19:46:39 2001
@@ -17,7 +17,7 @@
 #
 
 #
-# $Id: Makefile.in,v 1.64 2001/09/02 13:16:42 jah Exp $
+# $Id: Makefile.in,v 1.65 2001/09/02 23:46:39 jah Exp $
 #
 
 VPATH=@srcdir@
@@ -205,6 +205,7 @@
 # ignore missing IDs and check if the manual can be generated anyway
 test_man_gen: manual.xml
        $(NSGMLS) -wno-idref -i lang-$(LANG) -s $(srcdir)/phpdocxml.dcl $<
+
 clean:
        rm -rf html php
        rm -f manual.txt [a-z]*.html manual.rtf manual.info


Reply via email to