Processed: Re: Bug#457741: Bug#460158: zsh-doc would not install
Processing commands for control@bugs.debian.org:
> severity 457741 wishlist
Bug#457741: zsh-doc: Fails to configure
Bug#457743: zsh-doc fails to install: "No `START-INFO-DIR-ENTRY' and no `This file documents'."
Severity set to `wishlist' from `serious'
> retitle 457741 please make makeinfo behave as before wrt drientries
Bug#457741: zsh-doc: Fails to configure
Changed Bug title to `please make makeinfo behave as before wrt drientries' from `zsh-doc: Fails to configure'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: