diff --git a/doc/Makefile b/doc/Makefile index c4d011c3..f23df458 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -95,6 +95,7 @@ clean: rm -f repmgr.html rm -f repmgr-A4.pdf rm -f repmgr-US.pdf + rm -f html/* maintainer-clean: rm -rf html