diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index a321db08..2af8767a 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -136,7 +136,10 @@ EXTRA_DIST += \ $(man_MANS) # force doc rebulid after configure -dist-hook-local: dist-local-check-mans-enabled dist-local-check-no-cross-references maintainer-clean-local all-local +dist-hook-local: dist-local-check-mans-enabled dist-local-check-no-cross-references pango-docs-clean all-local + +pango-docs-clean: clean + cd $(srcdir) && rm -rf xml html # # Require gtk-doc when making dist |