diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index f2c4d8e54..000000000 --- a/doc/Makefile +++ /dev/null @@ -1,15 +0,0 @@ -# Build static html docs suitable for being shipped in the software -# package. This depends on ikiwiki being installed to build the docs. - -ifeq ($(shell which ikiwiki),) -IKIWIKI=echo "** ikiwiki not found" >&2 ; echo ikiwiki -else -IKIWIKI=ikiwiki -endif - -all: - $(IKIWIKI) `pwd` html -v --wikiname FooBar --plugin=goodstuff \ - --exclude=html --exclude=Makefile - -clean: - rm -rf .ikiwiki html |