2023-11-26 17:47:58 +08:00
|
|
|
site_name: Another Typesetter 另一個排版器
|
2023-12-02 03:46:41 +08:00
|
|
|
site_url: https://blog.kianting.info/pages/docs/anotherTypeSetter/
|
2023-11-26 17:47:58 +08:00
|
|
|
nav:
|
|
|
|
|
- Home: index.md
|
2023-12-02 03:46:41 +08:00
|
|
|
- Ch 1: defineASTandGrammar.md
|
|
|
|
|
- Ch 2: 2DManipulating.md
|
|
|
|
|
theme: readthedocs
|
|
|
|
|
|
|
|
|
|
markdown_extensions:
|
|
|
|
|
- attr_list
|
|
|
|
|
- md_in_html
|
