![]() `stripHash` documentation states that it prints out the stripped name to the stdout, but the function stored the value in `strippedName` instead. Basically all usages did something like `$(stripHash $foo | echo $strippedName)` which is just braindamaged. Fixed the implementation and all invocations. |
||
---|---|---|
.. | ||
auctex | ||
dblatex | ||
lkproof | ||
nix | ||
pgf | ||
pgfplots | ||
tetex | ||
tex4ht | ||
texlive |