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
|