diff --git a/docs/Makefile.am b/docs/Makefile.am index ca413b0..2228d1d 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -10,7 +10,7 @@ all: endif -EXTRA_DIST = index.html manual.html style.css +EXTRA_DIST = index.html manual.html style.css manual.xml clean-local: $(RM) -rf html