diff options
| author | Patrick Welche <prlw1@cam.ac.uk> | 2013-04-17 09:59:38 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-04-17 14:29:33 +0100 |
| commit | 0b0ec476bb9dca589674745ebffb0f6799774d6e (patch) | |
| tree | 92edae69213fa5917f803d605dcf033dc51e063a /docs | |
| parent | be4d793faa218b6991ff7fd86eacf2c833284919 (diff) | |
| download | xen-0b0ec476bb9dca589674745ebffb0f6799774d6e.tar.gz xen-0b0ec476bb9dca589674745ebffb0f6799774d6e.tar.bz2 xen-0b0ec476bb9dca589674745ebffb0f6799774d6e.zip | |
docs: Don't use non-portable cp -d flag unnecessarily (no links are involved)
cp -d is a GNU extension, and only useful for links, which don't seem
to exist in the directories being copied, so just remove said flag.
Signed-off-by: Patrick Welche <prlw1@cam.ac.uk>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile index fdebae819a..5f319a14d2 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -84,9 +84,9 @@ install: all $(INSTALL_DIR) $(DESTDIR)$(DOCDIR) $(INSTALL_DIR) $(DESTDIR)$(MANDIR) - cp -dR man1 $(DESTDIR)$(MANDIR) - cp -dR man5 $(DESTDIR)$(MANDIR) - [ ! -d html ] || cp -dR html $(DESTDIR)$(DOCDIR) + cp -R man1 $(DESTDIR)$(MANDIR) + cp -R man5 $(DESTDIR)$(MANDIR) + [ ! -d html ] || cp -R html $(DESTDIR)$(DOCDIR) html/index.html: $(DOC_HTML) ./gen-html-index INDEX perl -w -- ./gen-html-index -i INDEX html $(DOC_HTML) |