about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorCharadon <dev@iotib.net>2022-10-08 22:22:58 -0400
committerCharadon <dev@iotib.net>2022-10-08 22:22:58 -0400
commit52facfe07f82aa1639f9fb7e4141ccd902a28c74 (patch)
tree9ac70f2ca6dbac496bbf273ca8d755f7a97a77df
parent0600543081c9ba9f4b6727895881064307da5365 (diff)
downloaddscip-52facfe07f82aa1639f9fb7e4141ccd902a28c74.tar.gz
Makefile: Remove change directory
-rw-r--r--Makefile5
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)/../..