diff options
Diffstat (limited to 'doc/user/Makefile.am')
| -rw-r--r-- | doc/user/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index a9e9448..b2920a5 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -128,7 +128,8 @@ install-data-hook: $(INSTALL_DATA) user-*.html *.png "$(DESTDIR)$(htmldir)" $(MKDIR_P) "$(DESTDIR)$(infodir)" for i in "$(DESTDIR)$(htmldir)/"*.png; do \ - (cd "$(DESTDIR)$(infodir)"; $(LN_S) "$$i"); \ + (cd "$(DESTDIR)$(infodir)"; \ + rm -f "`basename $$i`"; $(LN_S) "$$i"); \ done uninstall-local: |