summaryrefslogtreecommitdiff
path: root/doc/user/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user/Makefile.am')
-rw-r--r--doc/user/Makefile.am7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am
index cd148f4..1fcd354 100644
--- a/doc/user/Makefile.am
+++ b/doc/user/Makefile.am
@@ -26,6 +26,9 @@ EXTRA_DIST += src/api1.skb \
src/outline.txt src/scheme.scm
+skrinfodir = $(infodir)
+skrinfo_DATA = skribilo.info
+
html_DATA = user.html user.sui
dist_html_DATA = skribilo.css
BUILT_SOURCES = lout/front-page.lout
@@ -50,6 +53,10 @@ endif
load_path = $(top_srcdir)/doc/modules
+skribilo.info: user.skb
+ GUILE_LOAD_PATH=$(load_path):$$GUILE_LOAD_PATH \
+ $(skribilo) $(skrflags) --target=info -o $@ $<
+
.skb.html:
GUILE_LOAD_PATH=$(load_path):$$GUILE_LOAD_PATH \
$(skribilo) $(skrflags) --target=html -o $@ $<