diff options
author | pennae <github@quasiparticle.net> | 2023-03-27 22:39:11 +0200 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-03-27 22:39:11 +0200 |
commit | 052bb41410760535a5360cbb591cb54d538c2bcd (patch) | |
tree | 12f33c0a54370b9d9e2ec9201e1770c0763e7d28 /doc/languages-frameworks/agda.section.md | |
parent | 4bb072f0a8b267613c127684e099a70e1f6ff106 (diff) | |
download | nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.tar nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.tar.gz nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.tar.bz2 nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.tar.lz nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.tar.xz nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.tar.zst nixlib-052bb41410760535a5360cbb591cb54d538c2bcd.zip |
doc: assign ids to many headings
without stable ids on headings we cannot generate stable links to these headings. nrd complains about this, but the current docbook workflow does not. a few generated ids remain, mostly in examples and footnotes. most of the examples are generated by nixdoc (which has since gained MD export functions, and the MD export does generate IDs).
Diffstat (limited to 'doc/languages-frameworks/agda.section.md')
-rw-r--r-- | doc/languages-frameworks/agda.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/agda.section.md b/doc/languages-frameworks/agda.section.md index d9ed56fb83fc..ff3d70ef0c62 100644 --- a/doc/languages-frameworks/agda.section.md +++ b/doc/languages-frameworks/agda.section.md @@ -216,7 +216,7 @@ you can test whether it builds correctly by writing in a comment: @ofborg build agdaPackages.iowa-stdlib ``` -### Maintaining Agda packages +### Maintaining Agda packages {#agda-maintaining-packages} As mentioned before, the aim is to have a compatible, and up-to-date package set. These two conditions sometimes exclude each other: |