diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2005-11-28 14:19:46 +0000 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2005-11-28 14:19:46 +0000 |
| commit | d68e567fe34ad0adb4fa6218f0ede003990c7823 (patch) | |
| tree | ddcb1e87ed4b45fd5507e4ea52018b697ee20541 /pkgs/misc/tex | |
| parent | 2748236699d7a152a0abfbd3c72cc0d0d41e1a26 (diff) | |
| download | nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.tar nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.tar.gz nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.tar.bz2 nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.tar.lz nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.tar.xz nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.tar.zst nixlib-d68e567fe34ad0adb4fa6218f0ede003990c7823.zip | |
* Enable option to compress multiple spaces in the index.
svn path=/nixpkgs/trunk/; revision=4314
Diffstat (limited to 'pkgs/misc/tex')
| -rw-r--r-- | pkgs/misc/tex/nix/default.nix | 4 | ||||
| -rw-r--r-- | pkgs/misc/tex/nix/run-latex.sh | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/pkgs/misc/tex/nix/default.nix b/pkgs/misc/tex/nix/default.nix index 52345d0f66b4..afaaad760751 100644 --- a/pkgs/misc/tex/nix/default.nix +++ b/pkgs/misc/tex/nix/default.nix @@ -7,6 +7,7 @@ rec { { rootFile , generatePDF ? true , extraFiles ? [] + , compressBlanksInIndex ? true }: pkgs.stdenv.mkDerivation { @@ -15,7 +16,8 @@ rec { builder = ./run-latex.sh; copyIncludes = ./copy-includes.pl; - inherit rootFile generatePDF extraFiles; + inherit rootFile generatePDF extraFiles + compressBlanksInIndex; includes = import (findLaTeXIncludes {inherit rootFile;}); diff --git a/pkgs/misc/tex/nix/run-latex.sh b/pkgs/misc/tex/nix/run-latex.sh index 9e8edadd48d9..ecc6c99f096a 100644 --- a/pkgs/misc/tex/nix/run-latex.sh +++ b/pkgs/misc/tex/nix/run-latex.sh @@ -56,7 +56,10 @@ echo if test -f $rootNameBase.idx; then echo "MAKING INDEX..." - makeindex $rootNameBase.idx + if test -n "$compressBlanksInIndex"; then + makeindexFlags="$makeindexFlags -c" + fi + makeindex $makeindexFlags $rootNameBase.idx echo fi |