Hsin-Hsiang Peng 8f32341bee Fix alignment problem in code block (#45) ... In rendered HTML, the line number should be right aligned, and code should be left aligned accordingly. In addition, this patch added the basic build instructions, so that someone can generated the PDF and HTML files. Close #44		2021-08-08 01:29:50 +08:00
..
deploy_github_page.yaml	Publish GitHub Page with GitHub Action	2021-08-02 06:22:29 +01:00
generate_doc.yaml	Fix alignment problem in code block (#45)	2021-08-08 01:29:50 +08:00