diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index cd5719f..ff12554 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -5,6 +5,9 @@ # ###################################################################### # $Log: Makefile,v $ +# Revision 1.6 2002/03/30 21:30:16 fbarriere +# Modified to build the HTML directory locally. +# # Revision 1.5 2002/03/20 21:26:29 fbarriere # Now just a wrapper around the unique Makefile you should find # in the parent directory. @@ -22,6 +25,7 @@ # Created. # ###################################################################### +HERE := $(shell pwd) .DEFAULT: - $(MAKE) -C .. ALL_TYPES=manual $@ + $(MAKE) -C .. ALL_TYPES=manual HTML_DIR=$(HERE)/HTML $@ |