diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile index b79001b..e41709d 100644 --- a/Makefile +++ b/Makefile @@ -22,10 +22,11 @@ install: info gzip $(INFODIR)/dscip.info html: - makeinfo --html manual.tex + makeinfo --html docs/manual.tex + cp -r docs/images dscip.html/ info: - makeinfo manual.tex || gmakeinfo manual.tex + makeinfo docs/manual.tex || gmakeinfo docs/manual.tex uninstall: rm -rf $(SCRIPT_DIR)/../.. |