Ben McGinnes a8d4aa6f76 docs: org to texinfo whitspace bug
* replaced "." in headings with "·" to prevent whitspace being
  appended by texinfo and breaking git.
2018-10-05 02:38:14 +10:00
..
2018-10-05 02:30:20 +10:00
2018-10-05 02:30:20 +10:00