diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2023-11-09 08:26:15 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:44:17 +0200 |
commit | 688adbf4377741f99a9e5a7d0a6a59c8473dbecd (patch) | |
tree | 7bbb025217ef1cd473544ef3d566d474461a32c5 /.gitignore | |
parent | 71aef8cbcd9c1ff29da1c055115ee4caedff32f6 (diff) | |
download | guix-688adbf4377741f99a9e5a7d0a6a59c8473dbecd.tar.gz guix-688adbf4377741f99a9e5a7d0a6a59c8473dbecd.zip |
gnu: icedtea-8: Don't build the docs.
* gnu/packages/java.scm (icedtea-8)[arguments]: Add a configure-flag to
skip building the docs.
Change-Id: I4a8cfb869cf38bc879ea72a85e0e783a4a759500
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions