diff options
| author | Frederik Rietdijk <fridh@fridh.nl> | 2019-10-20 12:17:58 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-10-20 13:35:04 +0200 |
| commit | 95dfbe2d632b71a72634d2d65e3f738f500ee5ce (patch) | |
| tree | c3da9c73c48a65a204e47de113c82e9efdac037a /doc/languages-frameworks/idris.section.md | |
| parent | af7378397fafd63384c4c7a28ba22b0803b00a18 (diff) | |
| download | nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.tar nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.tar.gz nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.tar.bz2 nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.tar.lz nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.tar.xz nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.tar.zst nixlib-95dfbe2d632b71a72634d2d65e3f738f500ee5ce.zip | |
doc: organize chapters into parts, and reduce toc depth
Reorganize the chapters into parts and reduce the TOC depth to make the TOC useful again. The top-level TOC is very brief, but that is fine because every part will have its own TOC. Section titles of languages/frameworks are also simplified to just the name of the language/framework.
Diffstat (limited to 'doc/languages-frameworks/idris.section.md')
| -rw-r--r-- | doc/languages-frameworks/idris.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/idris.section.md b/doc/languages-frameworks/idris.section.md index e88015f08e3f..8d7962d7fb9b 100644 --- a/doc/languages-frameworks/idris.section.md +++ b/doc/languages-frameworks/idris.section.md @@ -1,4 +1,4 @@ -# Idris packages +# Idris ## Installing Idris |