gnu: source-highlight: Allow cross-compilation.
authorLudovic Courtès <ludo@gnu.org>
Fri, 9 Oct 2020 21:31:18 +0000 (23:31 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 9 Oct 2020 21:59:14 +0000 (23:59 +0200)
commit2f4b51ab22b312b11656f70e2dd08290592358d3
treec5d08b9ffe27e38be6e4462b7f4b9697a44e64e6
parent7b7b468ea401caca306f01c679d39ee09ef99be7
gnu: source-highlight: Allow cross-compilation.

* gnu/packages/pretty-print.scm (source-highlight)[arguments]: Add
'skip-doc-directory' when (%current-target-system) is true.
gnu/packages/pretty-print.scm