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.