# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1420064473 28800
# Node ID 9dda47b122731c10ad1742efae405a446ed52f3e
# Parent  fb38cd96d07fa22424a26d8788e86b76faa7f0c0
autoupdate

diff -r fb38cd96d07f -r 9dda47b12273 doc/make-stds.texi
--- a/doc/make-stds.texi	Wed Dec 31 06:55:37 2014 -0800
+++ b/doc/make-stds.texi	Wed Dec 31 14:21:13 2014 -0800
@@ -45,7 +45,7 @@
 * 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