1 check-in using file doc/howto.txt version 9c23d6441d

2017-03-03
13:37
Merged in some forgotten changes check-in: 88e690f242 user: matt tags: trunk