make docsrc build depend on params/*.xml files

diff --git a/xsl/docsrc/Makefile b/xsl/docsrc/Makefile
index bf4085c82a7ba776f68131f6f417e3ef6f07be3a..fcbc43420c5a25afe9b8820b6fc8655b3c50789c 100644 (file)
--- a/xsl/docsrc/Makefile
+++ b/xsl/docsrc/Makefile
@@ -1,6 +1,8 @@
 DIRS=common html fo manpages template tools pi
 
-all: xsl-params.xsl
+PARAMS=$(shell find ../params/*.xml)
+
+all: xsl-params.xsl $(PARAMS)
        for i in $(DIRS) __bogus__; do \
                if [ $$i != __bogus__ ] ; then \
                        echo "$(MAKE) -C $$i"; $(MAKE) -C $$i; \
@@ -16,3 +18,6 @@ clean:
 
 xsl-params.xsl: make-xsl-params.pl
        perl $< > $@
+
+realclean: clean
+       rm -f xsl-params.xsl