summaryrefslogtreecommitdiff
path: root/web/GNUmakefile
diff options
context:
space:
mode:
Diffstat (limited to 'web/GNUmakefile')
-rw-r--r--web/GNUmakefile10
1 files changed, 8 insertions, 2 deletions
diff --git a/web/GNUmakefile b/web/GNUmakefile
index 37b2a5e..7affa5b 100644
--- a/web/GNUmakefile
+++ b/web/GNUmakefile
@@ -1,11 +1,17 @@
-SKRIBILO := skribilo -v2
+top_srcdir = ..
+
+SKRIBILO := $(top_srcdir)/src/pre-inst-skribilo -v2
docs := index.skb
-products := $(docs:%.skb=%.html)
+products := doc $(docs:%.skb=%.html)
all: $(products)
+# We need this dummy directory to have correct SUI references.
+doc:
+ ln -s $(top_srcdir)/doc/user doc
+
%.html: %.skb
$(SKRIBILO) --target=html -o $@ $^