]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Wed, 31 Dec 2014 22:21:13 +0000 (14:21 -0800)
committerKarl Berry <karl@freefriends.org>
Wed, 31 Dec 2014 22:21:13 +0000 (14:21 -0800)
doc/make-stds.texi

index 41027215c7a6592675b68a10f31683120eb2dd65..ad9f0abab7f775b8595e6e2f8db9ad735e356686 100644 (file)
@@ -45,7 +45,7 @@ Autoconf}.
 * DESTDIR::                     Supporting staged installs.
 * Directory Variables::         Variables for installation directories.
 * Standard Targets::            Standard targets for users.
-* Install Command Categories::  Three categories of commands in the 'install'
+* Install Command Categories::  Three categories of commands in the @samp{install}
                                   rule: normal, pre-install and post-install.
 @end menu