From 73d92ce6b694fc51ae8fbc0b8923c9068f983777 Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Sun, 18 Sep 2022 19:33:45 -0400 Subject: [PATCH] Fix case in xref to Make manual. --- c.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/c.texi b/c.texi index bf8a7c9..3d82ec8 100644 --- a/c.texi +++ b/c.texi @@ -12257,7 +12257,7 @@ Normally we don't run any of these commands directly. Instead we write a set of @dfn{make rules} for the program, then use the @command{make} program to recompile only the source files that need to be recompiled, by following those rules. @xref{Top, The GNU Make -Manual, , Make, The GNU Make Manual}. +Manual, , make, The GNU Make Manual}. @node Directing Compilation @chapter Directing Compilation