Jean-Marc Lasgouttes wrote:
>>> There is some code in TeXFiles.sh to remove // already, so I am
>>> surprised.
>
> Angus> This you mean? dirs=`kpsewhich --show-path=$kpsetype
> Angus> 2>/dev/null | tr "$SEP" " " | sed -e 's%///%/%' -e 's%//%/%g'
> Angus> -e 's%!!%%g'`
>
> Angus> s%///%/% needs a 'g' at the end. The two commands could be
> Angus> replaced with sed -e 's:/\{2,\}:/:g'
>
> Yes, you are right. The code was not good enough...Ok then, I'll commit what I have. -- Angus
