[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gnats/155
|
From: |
pdm |
|
Subject: |
Re: gnats/155 |
|
Date: |
Tue, 04 Dec 2001 15:07:56 -0500 |
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.