diff options
author | Wilmer van der Gaast <wilmer@gaast.net> | 2012-06-03 22:01:06 +0100 |
---|---|---|
committer | Wilmer van der Gaast <wilmer@gaast.net> | 2012-06-03 22:01:06 +0100 |
commit | 25b80e9cc7f74ec3df47c2ed25933065832bd7f4 (patch) | |
tree | f2d6bd87f2bcc273a2231fd024d79d8064d46b8b /doc/user-guide | |
parent | 18e1f3b157062e2daec877157e4868593e984656 (diff) |
Commit two patches from RH package maintainer (#956).
Diffstat (limited to 'doc/user-guide')
-rw-r--r-- | doc/user-guide/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user-guide/Makefile b/doc/user-guide/Makefile index 44ff6f51..0215ede8 100644 --- a/doc/user-guide/Makefile +++ b/doc/user-guide/Makefile @@ -41,7 +41,7 @@ install: mkdir -p $(DESTDIR)$(DATADIR) chmod 0755 $(DESTDIR)$(DATADIR) rm -f $(DESTDIR)$(DATADIR)/help.txt # Prevent help function from breaking in running sessions - install -m 0644 $(_SRCDIR_)help.txt $(DESTDIR)$(DATADIR)/help.txt + $(INSTALL) -m 0644 $(_SRCDIR_)help.txt $(DESTDIR)$(DATADIR)/help.txt uninstall: rm -f $(DESTDIR)$(DATADIR)/help.txt |