Hey list,
<div><br></div><div>The paper org manual was an exciting idea. I might buy one soon. I was wondering how was the editing work involved in turning it into paper-published book? What tools did you guys use?</div><div><br></div>
<div>Cheers,</div><div><br></div><div>- Marcelo.</div>