doc/statistics.texi: Add comma after @xref.
authorJohn Darrington <john@darrington.wattle.id.au>
Sat, 15 Jul 2017 04:11:28 +0000 (06:11 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Sat, 15 Jul 2017 04:11:28 +0000 (06:11 +0200)
commitbc8811d3b2044146fb87eaa8a9a354b4e0fe0b74
tree05d85fcde299ccfb4200a915d0cb64d8cc731058
parent642d7c051ec7a5254737108f2967942a0125663f
doc/statistics.texi: Add comma after @xref.

Apparently older versions of makeinfo insist on this.

Reported-by: Harry Thijssen
Fix-by: Ben Pfaff
doc/statistics.texi