From: Richard M. Stallman <rms@gnu.org>
Date: Sun, 21 Aug 1994 17:29:57 +0000 (+0000)
Subject: entered into RCS
X-Git-Tag: 3.71.2~14
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d3b65c3cb70449d3647c71537f198a1fb6f48a0e;p=thirdparty%2Fmake.git

entered into RCS
---

diff --git a/make-stds.texi b/make-stds.texi
index 14caf42e..95a42ec7 100644
--- a/make-stds.texi
+++ b/make-stds.texi
@@ -441,7 +441,7 @@ should normally be @file{/usr/local/sbin}, but write it as
 @comment This paragraph adjusted to avoid overfull hbox --roland 5jul94
 The directory for installing executable programs to be run by other
 programs rather than by users.  This directory should normally be
-@file{/usr/local/libexec}, but write @file{$(exec_prefix)/libexec}.
+@file{/usr/local/libexec}, but write it as @file{$(exec_prefix)/libexec}.
 @end table
 
 Data files used by the program during its execution are divided into