Synopsis: make info fails when texinfo isn't installed State-Changed-From-To: open->feedback State-Changed-By: pdm State-Changed-When: Tue, 04 Dec 2001 15:07:56 -0500 State-Changed-Why: Looking on this again, I don't think this is not a real problem. When one runs `make info', he should be aware that he needs proper tools to succeed. _______________________________________________ Gnats-prs mailing list Gnats-prs@gnu.org http://mail.gnu.org/mailman/listinfo/gnats-prs
Synopsis: make info fails when texinfo isn't installed State-Changed-From-To: feedback->closed State-Changed-By: yngves State-Changed-When: Fri, 07 Dec 2001 07:16:37 -0500 State-Changed-Why: Closing this. The revised manual clearly states that Texinfo is needed. _______________________________________________ Gnats-prs mailing list Gnats-prs@gnu.org http://mail.gnu.org/mailman/listinfo/gnats-prs
Last time I tried, "make info" was run as part of the standard build process. Take it out of the stock build ans ship .info files and things will be fine. _______________________________________________ Gnats-prs mailing list Gnats-prs@gnu.org http://mail.gnu.org/mailman/listinfo/gnats-prs