diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-10-09 23:31:18 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-09 23:59:14 +0200 |
| commit | 2f4b51ab22b312b11656f70e2dd08290592358d3 (patch) | |
| tree | c5d08b9ffe27e38be6e4462b7f4b9697a44e64e6 /gnu/packages/security-token.scm | |
| parent | 7b7b468ea401caca306f01c679d39ee09ef99be7 (diff) | |
gnu: source-highlight: Allow cross-compilation.
* gnu/packages/pretty-print.scm (source-highlight)[arguments]: Add
'skip-doc-directory' when (%current-target-system) is true.
Diffstat (limited to 'gnu/packages/security-token.scm')
0 files changed, 0 insertions, 0 deletions