From f139bc58d05d22b7ef12f02edab8195de2c51002 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Mon, 7 Jan 2013 03:36:29 +0100 Subject: [PATCH] Re-generated Makefiles --- doc/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/Makefile b/doc/Makefile index d48f875..b584916 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -28,10 +28,12 @@ project.conf.html: project.conf.xml clean: @for i in $(SUBDIRS); do (cd $$i && $(MAKE) clean) || exit; done $(RM) -- $(configure.1_OBJS) $(configure.html_OBJS) $(project.conf.5_OBJS) $(project.conf.html_OBJS) + ./docbook.sh -c -P "$(PREFIX)" -- "project.conf.html" distclean: @for i in $(SUBDIRS); do (cd $$i && $(MAKE) distclean) || exit; done $(RM) -- $(configure.1_OBJS) $(configure.html_OBJS) $(project.conf.5_OBJS) $(project.conf.html_OBJS) + ./docbook.sh -c -P "$(PREFIX)" -- "project.conf.html" $(RM) -- $(TARGETS) install: $(TARGETS)