diff options
| author | Ludovic Courtès | 2012-04-25 15:01:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2012-04-25 15:01:20 +0200 |
| commit | b6070351d4eb10b6a1cf91a2ce7189104d5e1147 (patch) | |
| tree | f39e5dec66e1d38606a7ef5dcc0ad57edb8ebe68 /doc/user/Makefile.am | |
| parent | a7e91e187b41c793cb2a4cb9563f31e93440c265 (diff) | |
| download | skribilo-b6070351d4eb10b6a1cf91a2ce7189104d5e1147.tar.gz skribilo-b6070351d4eb10b6a1cf91a2ce7189104d5e1147.tar.lz skribilo-b6070351d4eb10b6a1cf91a2ce7189104d5e1147.zip | |
doc: Have `user.sui' depend on `user.html'.
* doc/user/Makefile.am (user.sui): New dependency.
Diffstat (limited to 'doc/user/Makefile.am')
| -rw-r--r-- | doc/user/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index fb5cd4a..1637ebb 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -34,6 +34,9 @@ dist_html_DATA = skribilo.css BUILT_SOURCES = lout/front-page.lout CLEANFILES = $(BUILT_SOURCES) $(html_DATA) skribilo.info +# `user.sui' is produced by the HTML engine. +user.sui: user.html + skribilo = $(top_builddir)/src/pre-inst-skribilo skrflags = -I $(srcdir) -P $(top_srcdir)/doc/img \ -S $(srcdir) -S $(top_srcdir)/src/guile \ |