diff options
author | Richard M. Stallman <rms@gnu.org> | 1996-02-29 04:22:34 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1996-02-29 04:22:34 +0000 |
commit | 310f677b848e5659b43c5bed30c2262036857f0f (patch) | |
tree | 19b938c14c756bb69fe2efb4ad65fdd44ec459bc | |
parent | f323abd6b3b3f5ca2c5d8b326fe23a0d7be2ffef (diff) | |
download | gunmake-310f677b848e5659b43c5bed30c2262036857f0f.tar.gz |
Say it is ok to use true and false.
Make recommendations about install-info accurate.
-rw-r--r-- | make-stds.texi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/make-stds.texi b/make-stds.texi index 159cad3..b6ee94c 100644 --- a/make-stds.texi +++ b/make-stds.texi @@ -123,8 +123,8 @@ The @code{configure} script and the Makefile rules for building and installation should not use any utilities directly except these: @example -cat cmp cp echo egrep expr grep -ln mkdir mv pwd rm rmdir sed test touch +cat cmp cp echo egrep expr false grep +ln mkdir mv pwd rm rmdir sed test touch true @end example Stick to the generally supported options for these programs. For @@ -516,8 +516,8 @@ that don't have the Unix man page documentation system installed. The way to install Info files is to copy them into @file{$(infodir)} with @code{$(INSTALL_DATA)} (@pxref{Command Variables}), and then run the @code{install-info} program if it is present. @code{install-info} -is a script that edits the Info @file{dir} file to add or update the -menu entry for the given Info file; it will be part of the Texinfo package. +is a program that edits the Info @file{dir} file to add or update the +menu entry for the given Info file; it is part of the Texinfo package. Here is a sample rule to install an Info file: @comment This example has been carefully formatted for the Make manual. @@ -535,7 +535,7 @@ $(infodir)/foo.info: foo.info # fail gracefully when there is an unknown command. if $(SHELL) -c 'install-info --version' \ >/dev/null 2>&1; then \ - install-info --infodir=$(infodir) $$d/foo.info; \ + install-info --dir-file=$(infodir)/dir $(infodir)/foo.info; \ else true; fi @end smallexample |