diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-03-01 16:34:59 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:31 +0200 |
| commit | 789db27c51501e77ac7be0411e1f979234cf02f5 (patch) | |
| tree | 56c883c20bc7b5a2ec353066fd1d2497f60c2fab /gnu/build/accounts.scm | |
| parent | af5d228b1303989812e48093769715fd19df5042 (diff) | |
| download | guix-789db27c51501e77ac7be0411e1f979234cf02f5.tar.gz guix-789db27c51501e77ac7be0411e1f979234cf02f5.zip | |
gnu: agda: Build info manual.
* gnu/packages/agda.scm (agda): Build the user manual as an info manual.
Diffstat (limited to 'gnu/build/accounts.scm')
0 files changed, 0 insertions, 0 deletions