4 commits

Author	SHA1	Message	Date
Jethro Kuan	e44b84b791	(ci): make multi-page manual (#618)	2020-05-13 18:56:42 +08:00
Jethro Kuan	e62bda799a	(docs): use gh actions to deploy documentation (#616)	2020-05-13 18:45:32 +08:00
Jethro Kuan	4cad2cf6e6	(internal): use Make and Org to build manual (#546)	2020-05-03 18:06:27 +08:00
Jethro Kuan	1cfd71f5a8	Fix several linting errors (#68) ... Also add @alphapapa's makem scripts	2020-02-13 13:20:48 +08:00