Processed: Re: Bug#492210: texinfo: makeinfo adds a spurious period for @pxref before closing parenthesis
Processing commands for control@bugs.debian.org:
> forwarded 492210 https://savannah.gnu.org/bugs/index.php?33373
Bug #492210 [texinfo] texinfo: makeinfo adds a spurious period for @pxref before closing parenthesis
Set Bug forwarded-to-address to 'https://savannah.gnu.org/bugs/index.php?33373'.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
492210: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=492210
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: