diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 1aeacfa9..750c0859 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -806,15 +806,16 @@ uninstall-man: uninstall-man1 uninstall-pdf-am uninstall-ps-am -# Link gawk.1 to pgawk.1 +# Link gawk.1 to pgawk.1 and to dgawk.1 install-data-hook: (cd $(DESTDIR)$(man1dir); \ $(LN) gawk.1 pgawk.1 2>/dev/null ; \ + $(LN) gawk.1 dgawk.1 2>/dev/null ; \ exit 0) # Undo the above when uninstalling uninstall-hook: - cd $(DESTDIR)$(man1dir); rm -f pgawk.1 ; exit 0 + cd $(DESTDIR)$(man1dir); rm -f pgawk.1 dgawk.1 ; exit 0 postscript: gawk.ps gawkinet.ps gawk.1.ps igawk.1.ps $(AWKCARD) |