diff options
author | Brian Jones <cbj@gnu.org> | 2002-12-13 02:12:17 +0000 |
---|---|---|
committer | Brian Jones <cbj@gnu.org> | 2002-12-13 02:12:17 +0000 |
commit | 76f41e2cfbf74440dc6cd246de96c9717d4797e4 (patch) | |
tree | cce405920959dce32c959dfe623979191afd0127 | |
parent | 05abca6019f70482ba8974854eee6374c6a12537 (diff) | |
download | classpath-76f41e2cfbf74440dc6cd246de96c9717d4797e4.tar.gz |
* doc/www.gnu.org/docs/Makefile: publish to docs directory
-rw-r--r-- | ChangeLog | 1 | ||||
-rw-r--r-- | doc/www.gnu.org/docs/Makefile | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -3,6 +3,7 @@ * doc/www.gnu.org/docs: new directory * doc/www.gnu.org/Makefile: SUBDIRS reflect new docs directory, copy texi2html output to the correct directory + * doc/www.gnu.org/docs/Makefile: publish to docs directory 2002-12-11 Tom Tromey <tromey@redhat.com> diff --git a/doc/www.gnu.org/docs/Makefile b/doc/www.gnu.org/docs/Makefile index d16c054cc..dfd6bde0c 100644 --- a/doc/www.gnu.org/docs/Makefile +++ b/doc/www.gnu.org/docs/Makefile @@ -38,5 +38,5 @@ publish : @sh -c "if [ "$(CLASSPATH_WEBROOT)x" = x ]; then echo 'You must set CLASSPATH_WEBROOT in your environment first'; exit 1; fi" @sh -c "if [ ! -d $(CLASSPATH_WEBROOT) ]; then echo 'You must set CLASSPATH_WEBROOT in your environment first'; exit 1; fi" $(foreach dir, $(SUBDIRS), sh -c "cd $(dir) && $(MAKE) publish";) - -cp -f *.html $(CLASSPATH_WEBROOT)/doc/ + -cp -f *.html $(CLASSPATH_WEBROOT)/docs/ |