Lars Hecking <[EMAIL PROTECTED]> wrote:
>
>  You could do a plain "make" first, and then make install. If make install
>  fails in docs, "touch" the files make fails on and try make install again.

I thought the source of this particular problem came from doing a "make
clean".  The "manual.txt" file gets removed (because it is a product of
the sgmltools), even if the tools do not exist to recreate it.

>  - install GNU make; some people will disagree with me, but HP's make
>    is just another example of dumbed-down, near-unusable vendor tools
>    (Sun's patch is another one, for that matter)

I do disagree with you about HP's make having less features than GNU
make, but I don't think that makes it "near-unusable".  Nevertheless,
installing GNU tools has never hurt anybody.  :)

-- 
David DeSimone   | "The doctrine of human equality reposes on this:
[EMAIL PROTECTED]   |  that there is no man really clever who has not
Hewlett-Packard  |  found that he is stupid." -- Gilbert K. Chesterson
UX WTEC Engineer |    PGP: 5B 47 34 9F 3B 9A B0 0D  AB A6 15 F1 BB BE 8C 44

Reply via email to