From: Jim Meyering <jim@meyering.net>
Date: Sat, 24 May 1997 14:11:19 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd8c4289f7ae25b18087cb775236b800b23d4baa;p=pspp

.
---

diff --git a/m4/Makefile.in b/m4/Makefile.in
index 42ec258458..800aaea69a 100644
--- a/m4/Makefile.in
+++ b/m4/Makefile.in
@@ -76,6 +76,7 @@ LIBOBJS = @LIBOBJS@
 LN = @LN@
 MAINT = @MAINT@
 MAKEINFO = @MAKEINFO@
+MAN = @MAN@
 MKINSTALLDIRS = @MKINSTALLDIRS@
 MSGFMT = @MSGFMT@
 MV = @MV@