1--- a/etc/Makefile.in	2007-03-27 13:09:32.000000000 -0500
2+++ b/etc/Makefile.in	2018-07-09 11:08:50.294183081 -0500
3@@ -63,8 +63,8 @@
4 PDFFILES = standards.pdf configure.pdf
5 HTMLFILES = standards.html configure.html
6
7-all: info
8-install: install-info
9+all:
10+install:
11
12 uninstall:
13
14