branch: elpa/radio
commit 5516d194549724af085b12a9fa786d6a1e373736
Author: Roi Martin <[email protected]>
Commit: Roi Martin <[email protected]>
doc/Makefile: generate single-page HTML output
---
.gitignore | 7 ++++---
doc/Makefile | 8 ++++----
2 files changed, 8 insertions(+), 7 deletions(-)
diff --git a/.gitignore b/.gitignore
index 413f47fae8..43bc508980 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,10 +1,11 @@
*.elc
-/doc/*_html/
-/doc/*.aux
/doc/*.info
-/doc/*.log
/doc/*.pdf
+/doc/*.html
+
+/doc/*.aux
+/doc/*.log
/doc/*.toc
/doc/*.cp
/doc/*.cps
diff --git a/doc/Makefile b/doc/Makefile
index 11408102c2..9f353b3a84 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,7 +1,7 @@
CSS_REF ?= https://wip.jroi.dev/css/style.css
.PHONY: all
-all: radio.info radio.pdf radio_html
+all: radio.info radio.pdf radio.html
radio.info: radio.texi
makeinfo --output=radio.info radio.texi
@@ -9,9 +9,9 @@ radio.info: radio.texi
radio.pdf: radio.texi
makeinfo --pdf --output=radio.pdf radio.texi
-radio_html: radio.texi
- makeinfo --html --css-ref=$(CSS_REF) --output=radio_html radio.texi
+radio.html: radio.texi
+ makeinfo --html --no-split --css-ref=$(CSS_REF) --output=radio.html
radio.texi
.PHONY: clean
clean:
- rm -rf radio.info radio.pdf radio_html
+ rm -f radio.info radio.pdf radio.html
