add central documentation target in Makefile
This commit is contained in:
parent
379793d982
commit
38260b0a1e
1 changed files with 4 additions and 0 deletions
4
Makefile
4
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)
|
||||
|
|
Loading…
Reference in a new issue