Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: man pages aren't updated



Han Pingtian wrote on Wed, Nov 02, 2016 at 13:53:43 +0800:
> On Wed, Nov 02, 2016 at 03:00:13AM +0000, Daniel Shahaf wrote:
> > Han Pingtian wrote on Wed, Nov 02, 2016 at 10:09:16 +0800:
> > > On Tue, Nov 01, 2016 at 03:37:01PM +0000, Daniel Shahaf wrote:
> > > > Works for me.  Looking at the relevant Doc/Makefile.in targets, an empty
> > > > file is what I'd expect if the $(YODL) macro is not a functioning yodl
> > > > program.  (They use «> $$target».)  What's the value of $(YODL) on your
> > > > system?  Does that program exist and work?
> > > 
> > > Thanks! I got the new man page after installing yodl.
> > 
> > I suppose configure could print a warning if yodl wasn't found.
> 
> Yes, it prints a warning like this:
> 
> checking for yodl... no
> 
> but I neglected this message.

That's just a routine diagnostic buried among hundreds of its kind;
people won't pay it any attention.  (And configure -q hides it.)  I meant
a new, explicit warning: "yodl not found; documentation won't be built".



Messages sorted by: Reverse Date, Date, Thread, Author