diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2020-09-24 19:01:30 +0200 |
|---|---|---|
| committer | Guillaume Le Vaillant <glv@posteo.net> | 2020-09-24 19:11:33 +0200 |
| commit | de96ed11efdfb450ca45952aceda656a78d981c4 (patch) | |
| tree | 01eebd1053e5ddaf98dfbf57f9b5ac6d2b037223 /gnu/packages/coq.scm | |
| parent | 1828958db52d0019a7f3d763b07e64f78afa2cbf (diff) | |
| download | guix-de96ed11efdfb450ca45952aceda656a78d981c4.tar guix-de96ed11efdfb450ca45952aceda656a78d981c4.tar.gz | |
doc: Update documentation for asdf-build-system.
* doc/guix.texi (Build Systems): Adapt the documentation of asd-build-system
to the replacement of '#:asd-file' and '#:asd-system-name' by '#:asd-files'
and '#:asd-systems'. Remove paragraph about one package per ASDF system.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions