--- Makefile.in.orig Wed May 14 17:52:28 1997 +++ Makefile.in Sat May 17 21:09:48 1997 @@ -292,7 +292,7 @@ -$(INSTALL_DATA) $(PLBASE)/man/$(PL).$(mansec) $(mandir) -$(INSTALL_DATA) $(PLBASE)/man/chpl.$(mansec) $(mandir) -$(INSTALL_DATA) $(PLBASE)/man/plld.$(mansec) $(mandir) - -$(INSTALL_DATA) $(PLBASE)/man/readline.$(lmansec) $(lmandir) +# -$(INSTALL_DATA) $(PLBASE)/man/readline.$(lmansec) $(lmandir) # # runtime-only environment installation