Merge pull request #100 from shop-planner/ko-doc-mods

Many documentation improvements from @ko56 together with my post-edits.
shop-planner · Apr 17, 2022 · d6e04e1 · d6e04e1
2 parents f126b2f + d886782
commit d6e04e1
Show file tree

Hide file tree

Showing 2 changed files with 677 additions and 587 deletions.
diff --git a/shop3/docs/Makefile b/shop3/docs/Makefile
@@ -1,3 +1,5 @@
+MAKEINFO?=makeinfo
+
 .PHONY: clean
 
 all: html pdf info
@@ -30,13 +32,13 @@ include-stamp: ../*.lisp ../*.asd
 # 	--eval '(quit)'
 
 %.html: %.texinfo style.css include-stamp
-	makeinfo --html --no-split --css-include=style.css $<
+	${MAKEINFO} --html --no-split --css-include=style.css $<
 
 %.pdf: %.texinfo include-stamp
 	texi2dvi -p $<
 
 %.info: %.texinfo include-stamp
-	makeinfo --no-split $<
+	${MAKEINFO} --no-split $<
 
 html: manual.html