# HG changeset patch
# User jwe
# Date 797652579 0
# Node ID d7df7a4397b6e0ae9189b28a6c8f57addf80a7a8
# Parent  3847255e2838f65fd31278b905a356b0e4b7f95d
[project @ 1995-04-12 02:09:39 by jwe]

diff -r 3847255e2838 -r d7df7a4397b6 info/Makefile.in
--- a/info/Makefile.in	Wed Apr 12 02:06:02 1995 +0000
+++ b/info/Makefile.in	Wed Apr 12 02:09:39 1995 +0000
@@ -54,7 +54,7 @@
 INCLUDES = display.h doc.h echo_area.h filesys.h general.h \
 	info-utils.h info.h infomap.h nodes.h search.h session.h \
 	signals.h termdep.h terminal.h tilde.h indices.h window.h \
-	footnotes.h dribble.h variables.h gc.h
+	footnotes.h dribble.h variables.h gc.h getopt.h
 
 TEXI = info-stnd.texi info.texi userdoc.texi