summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMathieu Duponchelle <mathieu.duponchelle@opencreed.com>2016-10-16 01:53:38 +0200
committerMathieu Duponchelle <mathieu.duponchelle@opencreed.com>2016-10-16 01:53:38 +0200
commit20e9f95622d9133205a4b5c67181e2ffcf4c7a27 (patch)
treea338b1f6e5674865707df503c06d5d5ccdc119f3 /Makefile
parent82c9e5e6d12e9b0e29c6360a9b177a4b1e347803 (diff)
Implement our own theme, yay!HEADmaster
Please update your hotdoc, and read the (updated) README, you should end up with something looking exactly like: https://gstreamer.freedesktop.org/documentation2/
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile19
1 files changed, 16 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index d21c078..d4f8f6d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,9 @@
+all:
+
+install:
+
+clean:
+
HOTDOC ?= hotdoc
prefix ?= /usr
datadir ?= ${prefix}/share
@@ -20,11 +26,18 @@ gst_docs_HOTDOC_FLAGS = \
--conf-file hotdoc.json \
$(NULL)
-all:
+theme.stamp: less/variables.less
+ +make -C hotdoc_bootstrap_theme LESS_INCLUDE_PATH=$$PWD/less
+ @rm -rf hotdoc-private*
+ @touch theme.stamp
-install:
+clean_theme:
+ rm -f theme.stamp
+ +make -C hotdoc_bootstrap_theme clean
-clean:
+clean: clean_theme
+
+gst_docs_HOTDOC_EXTRA_DEPS = theme.stamp
.PHONY: all install clean