diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 7e3c32e..a37743e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -20,7 +20,7 @@ $(MANUAL_DIR): web-manual: $(MANUAL_DIR) $(MAN_DEPS) @make -C $(MANUAL_SRC) @cp -r $(MANUAL_SRC)/figures $(MANUAL_DIR) - @cp -r $(MANUAL_SRC)/images $(MANUAL_DIR) +# @cp -r $(MANUAL_SRC)/images $(MANUAL_DIR) @cp $(MANUAL_SRC)/*.html $(MANUAL_DIR) @cp $(MANUAL_SRC)/*.css $(MANUAL_DIR) # @mv $(MANUAL_SRC)/*.html $(MANUAL_DIR) |