- changed quotation marks into texinfo macros
- changed n-dashes from characters to their TeX presentation
Authored by: ax006ho 2013-06-17
Parent: [r1856]
Child: [r1858]