texinfo: add a Makefile

* Makefile: Nouveau fichier.
2024-09-22 19:15:59 +02:00 · 2024-09-22 19:15:59 +02:00 · 8e88d026a3
parent 75300995c4
commit 8e88d026a3
1 changed files with 8 additions and 0 deletions
--- a/8
+++ b/8
@ -0,0 +1,8 @@
+crans.info: crans.texi
+	makeinfo crans.texi
+
+crans.html: crans.texi
+	makeinfo --html --no-split crans.texi
+
+crans_html: crans.texi
+	makeinfo --html -o crans_html crans.texi