diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 69471d32..8cf485e9 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -4,8 +4,7 @@ _SRCDIR_ := $(_SRCDIR_)doc/ endif all: - # Only build the docs if this is a git tree - test ! '(' -d ../.git -o -d ../.bzr ')' || $(MAKE) -C user-guide + $(MAKE) -C user-guide install: mkdir -p $(DESTDIR)$(MANDIR)/man8/ $(DESTDIR)$(MANDIR)/man5/ |