possible bashism in ./make-rules/makeindex.sh line 329 ('$[' should be '$(('): shift $[$#-1]
This report was generated on Fri, 17 Dec 2010 07:38:41 +0000, based on results by checkbashisms 2.10.65git5