Fix generation of help-pages-list file
authorJohn Darrington <john@darrington.wattle.id.au>
Tue, 8 Dec 2015 14:56:13 +0000 (15:56 +0100)
committerJohn Darrington <john@darrington.wattle.id.au>
Tue, 8 Dec 2015 14:56:13 +0000 (15:56 +0100)

No differences found