summaryrefslogtreecommitdiff
path: root/web/GNUmakefile
diff options
context:
space:
mode:
authorLudovic Courtès2008-04-23 22:36:17 +0200
committerLudovic Courtès2008-04-23 22:36:17 +0200
commit2ade002c5af3103012a7f21812526b607bb9d90f (patch)
treec92cfd202ba902d87eef4489a90a2e3fe1718f91 /web/GNUmakefile
parent5add78aba082524aee7350432f9ac0c0e983b33d (diff)
downloadskribilo-2ade002c5af3103012a7f21812526b607bb9d90f.tar.gz
skribilo-2ade002c5af3103012a7f21812526b607bb9d90f.tar.lz
skribilo-2ade002c5af3103012a7f21812526b607bb9d90f.zip
Update web site, with SUI refs to the user manual.
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 $@ $^