mirror of
https://github.com/tj/git-extras.git
synced 2026-09-10 07:26:17 -04:00
Merge pull request #292 from RasmusWL/make-handle-missing-man
make will not assume man pages already exists.
This commit is contained in:
commit
b1614182fe
7
Makefile
7
Makefile
|
|
@ -30,7 +30,12 @@ install:
|
|||
echo "... installing $(COMMAND)"; \
|
||||
cp -f bin/$(COMMAND) $(DESTDIR)$(BINPREFIX); \
|
||||
)
|
||||
cp -f man/git-*.1 $(DESTDIR)$(MANPREFIX)
|
||||
@if [ -z "$(wildcard man/git-*.1)" ]; then \
|
||||
echo "WARNING: man pages not created, use 'make docs' (which requires 'ronn' ruby lib)"; \
|
||||
else \
|
||||
cp -f man/git-*.1 $(DESTDIR)$(MANPREFIX); \
|
||||
echo "cp -f man/git-*.1 $(DESTDIR)$(MANPREFIX)"; \
|
||||
fi
|
||||
@mkdir -p $(DESTDIR)/etc/bash_completion.d
|
||||
cp -f etc/bash_completion.sh $(DESTDIR)/etc/bash_completion.d/git-extras
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue