Ed Maste ea168d383d Rename documentation source files to avoid filesystem case and restricted
filename issues when checking out the source on other operating systems.

I've verified the generated paper.ascii is identical before and after the
change.
2010-07-16 17:01:36 +00:00
..