diff options
Diffstat (limited to 'editors/psgml/files/patch-ad')
| -rw-r--r-- | editors/psgml/files/patch-ad | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/editors/psgml/files/patch-ad b/editors/psgml/files/patch-ad deleted file mode 100644 index ba3f8cf7f553..000000000000 --- a/editors/psgml/files/patch-ad +++ /dev/null @@ -1,13 +0,0 @@ ---- Makefile.in.orig Sat Jan 23 20:58:07 1999 -+++ Makefile.in Sat Jan 23 20:58:55 1999 -@@ -81,8 +81,8 @@ - $(INSTALL_DATA) psgml-api.info $(infodir) - if $(SHELL) -c 'install-info --version' \ - >/dev/null 2>&1; then \ -- install-info --info-dir=$(infodir) psgml.info; \ -- install-info --info-dir=$(infodir) psgml-api.info; \ -+ install-info $(infodir)/psgml.info $(infodir)/dir; \ -+ install-info $(infodir)/psgml-api.info $(infodir)/dir; \ - else true; fi - - |