Jeff Squyres (jsquyres) wrote:
>
> What is the exact command used to generate the README file?
>

make ../README -C doc/
(see the end of doc/Makefile.am)

> Also, any objections to renaming README.DEV to HACKING?  Iirc, HACKING
> is the standard name for such things...?
>

Didn't know that but Google seems to confirm. So ack.

Brice

Reply via email to