commit a232a44591f9e17a99a92eb970b5969912d79b77 parent fc70568319205d8be21479cb89a8bd1e104b61fe Author: Yuval Langer <yuval.langer@gmail.com> Date: Tue, 30 Jan 2024 13:13:47 +0200 Add info source to the phony all target, also alphabetise stuff. Diffstat:
| M | doc/r7rs-small/Makefile | | | 10 | +++++----- |
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/doc/r7rs-small/Makefile b/doc/r7rs-small/Makefile @@ -1,12 +1,12 @@ .PHONY: all -all: r7rs-small.pdf r7rs-small.html +all: r7rs-small.html r7rs-small.info r7rs-small.pdf printf '' -r7rs-small.pdf: r7rs-small.texinfo - makeinfo --pdf --no-split $< - r7rs-small.html: r7rs-small.texinfo makeinfo --html --no-split $< r7rs-small.info: r7rs-small.texinfo - makeinfo --no-split $< + makeinfo --info --no-split $< + +r7rs-small.pdf: r7rs-small.texinfo + makeinfo --pdf --no-split $<