On Sat, May 18, 2013 at 06:23:40AM +0200, Ulrich Spörlein wrote: > So, to get groff out of source we need to first remove the roff > docs/papers as we will no longer build and install them. As they still > contain conceivably useful information, I want to move them into the doc > repository. I like this approach. -- Joel