(ci): make multi-page manual (#618)

This commit is contained in:
Jethro Kuan
2020-05-13 18:56:42 +08:00
committed by GitHub
parent 5e63bf32ed
commit e44b84b791
2 changed files with 2 additions and 2 deletions

View File

@ -59,7 +59,7 @@ docs:
@$(MAKE) -C doc all
html:
@$(MAKE) -C doc html
@$(MAKE) -C doc html-dir
install: install-docs