Bruce Momjian writes:
> Patch applied. Thanks.
Here's a small update to pass the basename of the target as a
stylesheet parameter. This makes the resulting info file work
properly when compressed or split. It also prevents Debian's
"install-info" script from choking.
Thanks,
andreas