From: Karl Berry <karl@freefriends.org>
Date: Thu, 29 Nov 2007 23:05:32 +0000 (-0800)
Subject: autoupdate
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=beeb1a36059a79d5b5514f2cc98fef0f0eb71717;p=pspp

autoupdate
---

diff --git a/doc/make-stds.texi b/doc/make-stds.texi
index 8d60fe9bd0..205a6db2a1 100644
--- a/doc/make-stds.texi
+++ b/doc/make-stds.texi
@@ -275,10 +275,12 @@ $(INSTALL_DATA) libfoo.a $(libdir)/libfoo.a
 However, it is preferable to support a @code{DESTDIR} prefix on the
 target files, as explained in the next section.
 
-@noindent
-Always use a file name, not a directory name, as the second argument of
-the installation commands.  Use a separate command for each file to be
-installed.
+It is acceptable, but not required, to install multiple files in one
+command, with the final argument being a directory, as in:
+
+@example
+$(INSTALL_PROGRAM) foo bar baz $(bindir)
+@end example
 
 
 @node DESTDIR