diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2016-04-20 20:36:26 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2016-04-20 20:37:19 +0200 |
commit | 1c8ac5299914c5b2f2387b2012658dce03894c69 (patch) | |
tree | 8b14f943b80933dbafe2034b50d3cdab244d6450 /pkgs/tools/text/groff | |
parent | 35cef635ffe8cfb75ff359dd5b68852b389b7ac2 (diff) |
groff: now really fix build after --docdir fix
I forgot about some later changes around characters permitted in
$shareDocName.
Diffstat (limited to 'pkgs/tools/text/groff')
-rw-r--r-- | pkgs/tools/text/groff/default.nix | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/pkgs/tools/text/groff/default.nix b/pkgs/tools/text/groff/default.nix index ee8f9b7037f8..728e9de8b488 100644 --- a/pkgs/tools/text/groff/default.nix +++ b/pkgs/tools/text/groff/default.nix @@ -32,13 +32,12 @@ stdenv.mkDerivation rec { ''; }; + # Remove example output with (random?) colors and creation date + # to avoid non-determinism in the output. postInstall = '' - # Remove example output with (random?) colors to - # avoid non-determinism in the output - rm $doc/share/doc/${name}/examples/hdtbl/*color*ps - # Remove creation date - find $doc/share/doc/${name} -type f -print0 | xargs -0 sed -i -e 's/%%CreationDate: .*//' - ''; + rm $doc/share/doc/groff/examples/hdtbl/*color*ps + find $doc/share/doc/groff/ -type f -print0 | xargs -0 sed -i -e 's/%%CreationDate: .*//' + ''; meta = with stdenv.lib; { homepage = http://www.gnu.org/software/groff/; |