(internal): use Make and Org to build manual (#546)

This commit is contained in:
Jethro Kuan
2020-05-03 18:06:27 +08:00
committed by GitHub
parent e698ed7f53
commit 4cad2cf6e6
8 changed files with 2402 additions and 0 deletions

View File

@ -54,3 +54,14 @@ endif
.DEFAULT: init
init:
@./makem.sh $(DEBUG) $(VERBOSE) $(SANDBOX) $(INSTALL_DEPS) $(INSTALL_LINTERS)
docs:
@$(MAKE) -C doc all
install: install-docs
install-docs: docs
@$(MAKE) -C doc install-docs
install-info: info
@$(MAKE) -C doc install-info