[PHP-DOC] cvs: phpdoc / Makefile.in From: Jim Winstead (jimw <email protected>)
Date: 10/13/01

jimw Sat Oct 13 18:01:55 2001 EDT

  Modified files:
    /phpdoc Makefile.in
  Log:
  put pdf files in 'extra' mirror category
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.74 phpdoc/Makefile.in:1.75
--- phpdoc/Makefile.in:1.74 Sun Oct 7 07:35:04 2001
+++ phpdoc/Makefile.in Sat Oct 13 18:01:55 2001
@@ -17,7 +17,7 @@
 #
 
 #
-# $Id: Makefile.in,v 1.74 2001/10/07 11:35:04 jah Exp $
+# $Id: Makefile.in,v 1.75 2001/10/13 22:01:55 jimw Exp $
 #
 
 VPATH= <email protected>@
@@ -48,10 +48,10 @@
 
 all: html
 
-DIST_FILES= <email protected> <email protected>  <email protected> <email protected>  <email protected> <email protected> \
-  <email protected> <email protected>  <email protected> <email protected>  <email protected> <email protected> \
-  <email protected> <email protected>  <email protected> <email protected>  <email protected> <email protected>
+DIST_FILES= <email protected> <email protected>  <email protected> <email protected>  <email protected> <email protected> \
+  <email protected> <email protected>  <email protected> <email protected>  <email protected> <email protected>
 MIRROR_TARGETS=php/index.php html/index.html $(DIST_FILES)
+PDF_FILES= <email protected> <email protected>  <email protected> <email protected>  <email protected> <email protected>
 
 html.dsl: $(srcdir)/html.dsl.in ./config.status
         CONFIG_FILES=$@ CONFIG_HEADERS= ./config.status
@@ -97,6 +97,7 @@
         CONFIG_FILES=$@ CONFIG_HEADERS= ./config.status
 
 mirror-files: $(MIRROR_TARGETS)
+extra-mirror-files: $(PDF_FILES)
 
 snapshot: manual-snapshot.tar.gz