Commit graph

7 commits

Author SHA1 Message Date
Ryan Mulligan b8344f9e5c doc: explicit Markdown anchors for top-level headings; remove metadata
I used the existing anchors generated by Docbook, so the anchor part
should be a no-op. This could be useful depending on the
infrastructure we choose to use, and it is better to be explicit than
rely on Docbook's id generating algorithms.

I got rid of the metadata segments of the Markdown files, because they
are outdated, inaccurate, and could make people less willing to change
them without speaking with the author.
2021-01-01 10:02:57 -08:00
Jonathan Ringer 3990b914c3 manual: use quoted homepage urls 2020-02-16 09:49:12 -08:00
Frederik Rietdijk 95dfbe2d63 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.
2019-10-20 13:35:04 +02:00
Marco Perone 349a843ef4 build-idris-package: add documentation on idris commands options 2019-08-06 09:11:37 +02:00
Silvan Mosberger eda8c36795
doc/idris: Fix install instructions
Because of nix-env weirdness, I introduced a mistake in the docs in
https://github.com/NixOS/nixpkgs/pull/50182, this fixes it.
2019-06-15 18:25:41 +02:00
Silvan Mosberger f8a1333c8e
nixpkgs idris docs: Update and improve 2018-11-12 13:23:31 +01:00
Graham Christensen 92d53362d4
Move all nixpkgs doc files in to the doc directory
This makes a makefile-driven developer workflow nicer.
2018-03-25 19:52:00 -04:00