diff options
Diffstat (limited to 'doc/examples/softwaresite')
| -rw-r--r-- | doc/examples/softwaresite/Makefile | 15 | ||||
| -rw-r--r-- | doc/examples/softwaresite/doc/Makefile | 9 |
2 files changed, 15 insertions, 9 deletions
diff --git a/doc/examples/softwaresite/Makefile b/doc/examples/softwaresite/Makefile new file mode 100644 index 000000000..57a0c9737 --- /dev/null +++ b/doc/examples/softwaresite/Makefile @@ -0,0 +1,15 @@ +# 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 --plugin=goodstuff \ + --no-rcs --exclude=/discussion --exclude=html --no-discussion + +clean: + rm -rf .ikiwiki html diff --git a/doc/examples/softwaresite/doc/Makefile b/doc/examples/softwaresite/doc/Makefile deleted file mode 100644 index 5a5fc85ee..000000000 --- a/doc/examples/softwaresite/doc/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -# Build static html docs suitable for being shipped in the software -# package. - -all: - ikiwiki `pwd` html -v --plugin=goodstuff \ - --no-rcs --exclude=/discussion --exclude=html --no-discussion - -clean: - rm -rf .ikiwiki |