diff --git a/Makefile b/Makefile index c021d5b..bdb8cbb 100644 --- a/Makefile +++ b/Makefile @@ -31,3 +31,7 @@ clean: ci-build: @python3 build.py --source-dir src --build-dir build/LatexPackagesBuild ${BUILD_FLAGS} + +central-doc: + @-rm -r build/documentation + $(MAKE) -C doc $(MAKECMDGOALS)