diff options
author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2020-05-14 18:02:50 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-14 18:02:50 -0400 |
commit | 9943fd1a1daa270848299a1069706c7b8ede5bb1 (patch) | |
tree | 2ce896463bff642f54f30388832ded159e586ca5 /doc/languages-frameworks/index.xml | |
parent | efdeb1a0deb0df4f2621b1d9e6fb2e964fce3848 (diff) | |
parent | 8ee4c3698c573e76cdb6617356ef21a3013a18ae (diff) |
Merge pull request #76653 from alexarice/agda-rework
Agda rework
Diffstat (limited to 'doc/languages-frameworks/index.xml')
-rw-r--r-- | doc/languages-frameworks/index.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/languages-frameworks/index.xml b/doc/languages-frameworks/index.xml index a6f56d791c545..2414956995c00 100644 --- a/doc/languages-frameworks/index.xml +++ b/doc/languages-frameworks/index.xml @@ -5,6 +5,7 @@ <para> The <link linkend="chap-stdenv">standard build environment</link> makes it easy to build typical Autotools-based packages with very little code. Any other kind of package can be accomodated by overriding the appropriate phases of <literal>stdenv</literal>. However, there are specialised functions in Nixpkgs to easily build packages for other programming languages, such as Perl or Haskell. These are described in this chapter. </para> + <xi:include href="agda.section.xml" /> <xi:include href="android.section.xml" /> <xi:include href="beam.xml" /> <xi:include href="bower.xml" /> |