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