public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixpkgs manual: add idris docs generated from *.md

Browse Source 
I also modified the nesting approach in haskell docs
to allow more uniform handling of markdown -> docbook conversions.
/cc #11308.
This commit is contained in:
Vladimír Čunát
2015-12-21 13:01:59 +01:00
parent 810695216a
commit 3e4035695c
3 changed files with 49 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/languages-frameworks/index.xml
+1
View File
@@ -20,6 +20,7 @@ such as Perl or Haskell. These are described in this chapter.</para>
<xi:include href="java.xml" />
<xi:include href="lua.xml" />
<xi:include href="coq.xml" />
<xi:include href="idris.xml" /> <!-- generated from ../../pkgs/development/idris-modules/README.md -->
<xi:include href="qt.xml" />