diff options
| author | Kei Kebreau <kkebreau@posteo.net> | 2019-05-24 15:48:01 -0400 |
|---|---|---|
| committer | Kei Kebreau <kkebreau@posteo.net> | 2019-05-24 21:00:15 -0400 |
| commit | 608d148c50962bc217b6481f60507873801464cf (patch) | |
| tree | bc06cf3c362425877b7a853914a230dccc3a0dd0 /scripts | |
| parent | 03b630686fe96793e87f1323330d3c724abd2e14 (diff) | |
| download | patches-608d148c50962bc217b6481f60507873801464cf.tar patches-608d148c50962bc217b6481f60507873801464cf.tar.gz | |
gnu: squirrel: Install headers and documentation.
* gnu/packages/squirrel.scm (squirrel)[arguments]: Disable building static
libraries. Add 'install-documentation' and 'install-headers' phases.
[native-inputs]: Add python-sphinx.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions