Remove repeated '@setfilename' lines from Texinfo source.
authorJohn Darrington <john@darrington.wattle.id.au>
Wed, 11 Mar 2009 21:57:42 +0000 (06:57 +0900)
committerJohn Darrington <john@darrington.wattle.id.au>
Wed, 11 Mar 2009 21:57:42 +0000 (06:57 +0900)
Remove lines '@setfilename ignored' from .texi files.
The Texinfo manual doesn't mention that more than
one @setfilename argument is allowed, and having
more than one seems to produce confusing docbook
output.


No differences found