From 8daa0a46ad8eb32770c35fb5456f8ab633935406 Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Tue, 6 Sep 2022 19:50:23 -0400 Subject: [PATCH] (c.txt): direct output of makeinfo into target file. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8e0b548..f01f749 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ c.doc: c.html: makeinfo --html c.texi c.txt: - makeinfo --plaintext c.texi + makeinfo --plaintext c.texi > $@ clean: rm -f c-manual.tgz c.dvi c.pdf c c-1 c-2 c.doc c.html c.txt