diff options
| -rw-r--r-- | extensions/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extensions/Makefile.am b/extensions/Makefile.am index 9ed06ff40..30adce0da 100644 --- a/extensions/Makefile.am +++ b/extensions/Makefile.am @@ -55,6 +55,9 @@ BUILT_SOURCES = \ CLEANFILES = $(BUILT_SOURCES) +clean-local: + rm -rf _gen + XSLTPROCFLAGS = --nonet --novalid # Generated files which can be generated for all categories simultaneously |