Merge pull request #142 from duncan-roe/info_patch

Fix remake info header
rocky · Jul 1, 2023 · 8d84bb5 · 8d84bb5
2 parents 371ed0a + b3dc654
commit 8d84bb5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/remake.texi b/doc/remake.texi
@@ -69,7 +69,7 @@
 @c manuals to an info tree.
 @dircategory Programming & development tools.
 @direntry
-* remake: (@value{DBG}).                     The @MAKE extensions and debugger.
+* Remake: (remake).                       The @MAKE extensions and debugger.
 @end direntry
 
 @ifinfo