From b6070351d4eb10b6a1cf91a2ce7189104d5e1147 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès
Date: Wed, 25 Apr 2012 15:01:20 +0200
Subject: doc: Have `user.sui' depend on `user.html'.

* doc/user/Makefile.am (user.sui): New dependency.
---
 doc/user/Makefile.am | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/user')

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		\
-- 
cgit v1.2.3