diff options
Diffstat (limited to 'web/GNUmakefile')
| -rw-r--r-- | web/GNUmakefile | 10 |
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 $@ $^ |