From 2b017543cc8ab0d3e59897f2750af7c41ade9845 Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Thu, 29 Sep 2022 07:18:48 -0400 Subject: [PATCH] (c.html.d): New make rule. Tiny change by yuvallangerontheroad@gmail.com. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 68da4a0..130d2c5 100644 --- a/Makefile +++ b/Makefile @@ -17,6 +17,8 @@ c.doc: c.texi cpp.texi fp.texi fdl.texi makeinfo --docbook c.texi -o $@ c.html: c.texi cpp.texi fp.texi fdl.texi makeinfo --html --no-split c.texi -o $@ +c.html.d: c.texi cpp.texi fp.texi fdl.texi + makeinfo --html c.texi -o $@ c.txt: c.texi cpp.texi fp.texi fdl.texi makeinfo --plaintext c.texi > $@