diff options
| author | dequis <dx@dxzone.com.ar> | 2015-05-31 20:50:08 -0300 |
|---|---|---|
| committer | dequis <dx@dxzone.com.ar> | 2015-06-04 14:13:22 -0300 |
| commit | fd45e859aad9a4978afdff0478fc05d8290d75e7 (patch) | |
| tree | 9fea69f19f01f718dedb339ec854693572058cc0 /doc/Makefile | |
| parent | 81d40fe05519c422ef39ae63bac125d37068b82d (diff) | |
Allow building docs from any directory
Also just remove the .git check completely - just rely on make skipping
it if it exists already.
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/ |