From d8607e1afb19b23e18ba79bf93beddd1f881ec2d Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Wed, 8 Nov 2017 15:12:28 +0100 Subject: [PATCH] Register a dependency on the docbook.sh script --- doc/project.conf | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/project.conf b/doc/project.conf index ff19dbe..1af294c 100644 --- a/doc/project.conf +++ b/doc/project.conf @@ -7,22 +7,22 @@ dist=Makefile,configure.css.xml,configure.xml,manual.css.xml,project.conf.css.xm type=script script=./scripts/docbook.sh install= -depends=configure.xml +depends=scripts/docbook.sh,configure.xml [configure.html] type=script script=./scripts/docbook.sh install= -depends=configure.css.xml,configure.xml,manual.css.xml +depends=scripts/docbook.sh,configure.css.xml,configure.xml,manual.css.xml [project.conf.5] type=script script=./scripts/docbook.sh install= -depends=project.conf.xml +depends=scripts/docbook.sh,project.conf.xml [project.conf.html] type=script script=./scripts/docbook.sh install= -depends=project.conf.css.xml,project.conf.xml,manual.css.xml +depends=scripts/docbook.sh,project.conf.css.xml,project.conf.xml,manual.css.xml