chiark / gitweb /
~mdw / stgit / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 491c9d5)
Add install-doc target to makefile
authorDaniel White <daniel@whitehouse.id.au>
Fri, 25 Jul 2008 16:35:39 +0000 (02:35 +1000)
committerDaniel White <daniel@whitehouse.id.au>
Wed, 30 Jul 2008 15:02:51 +0000 (01:02 +1000)
Signed-off-by: Daniel White <daniel@whitehouse.id.au>
Makefile patch | blob | blame | history

diff --git a/Makefile b/Makefile
index 9885f62ad6315ce3cf5a9506eb5e67b026ed4ad6..95413a48405cd83b8fd72fc7ec3bbe6e3b15f8dc 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -13,6 +13,9 @@ install:
 doc:
        cd Documentation && $(MAKE) all
 
 doc:
        cd Documentation && $(MAKE) all
 
+install-doc:
+       $(MAKE) -C Documentation install
+
 test:
        cd t && $(MAKE) all
 
 test:
        cd t && $(MAKE) all
 
@@ -33,4 +36,4 @@ clean:
 tags:
        ctags -e -R stgit/*
 
 tags:
        ctags -e -R stgit/*
 
-.PHONY: all install doc test test_patches clean
+.PHONY: all install doc install-doc test test_patches clean
GIT patch-maintenance porcelain (local modifications)