diff options
| -rw-r--r-- | make.texinfo | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/make.texinfo b/make.texinfo index b4fa435..0df16fb 100644 --- a/make.texinfo +++ b/make.texinfo @@ -6,7 +6,10 @@ $Header$ $Log$ -Revision 1.16 1988/05/15 18:58:00 mcgrath +Revision 1.17 1988/05/18 16:26:55 mcgrath +Fixed a couple Texinfo bugs. + +Revision 1.16 88/05/15 18:58:00 mcgrath Miscellaneous changes by Richard Stallman, added `$$@' to the list of unsupported features. @@ -186,7 +189,7 @@ be recompiled, or how. @xref{Running}. variables, functions, special targets and directives. @end menu -@node Bugs,, Top, Top +@node Bugs, Simple, Top, Top @section Problems and Bugs If you have problems with GNU @code{make} or think you've found a bug, @@ -861,7 +864,7 @@ you do not need to change the individual rules, just the search paths. @end menu @node General Search, Selective Search, Directory Search, Directory Search -@subsection @core{VPATH}: Search Path for All Dependencies +@subsection @code{VPATH}: Search Path for All Dependencies The value of the variable @code{VPATH} is a list of directories which @code{make} should search (in the order specified) for dependency files. |