Processed: Re: Bug#272107: /usr/bin/pdftosrc: pdftosrc doesn't have a man page
Processing commands for control@bugs.debian.org:
> forwarded 272107 pdftex@tug.org
Bug#272107: /usr/bin/pdftosrc: pdftosrc doesn't have a man page
Noted your statement that Bug has been forwarded to pdftex@tug.org.
> merge 260132 272107
Bug#260132: tetex-bin: what does pdftosrc do?
Bug#272107: /usr/bin/pdftosrc: pdftosrc doesn't have a man page
Bug#215248: tetex-bin: pdftosrc has no manpage and no doc
Merged 215248 260132 272107.
> stop
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: