diff --git a/Makefile.inc1 b/Makefile.inc1 index f5413ea..0137127 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -238,3 +238,6 @@ api-docs: .else (make -C ${DOC_PATH}/api html) .endif + +clean-docs: + make -C ${DOC_PATH}/userguide clean