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 /po | |
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 'po')
0 files changed, 0 insertions, 0 deletions