add 'make dok-tidy' to the list of things to do for a 'make dok'
authorLee <ler762@users.sourceforge.net>
Mon, 10 Jul 2017 21:19:36 +0000 (21:19 +0000)
committerLee <ler762@users.sourceforge.net>
Mon, 10 Jul 2017 21:19:36 +0000 (21:19 +0000)
commitd25e58afef0c1d8943fbcd98d306930a6a2918b9
tree5ad76867d1030fd8ca5ba1ddfd39440879faf03a
parent9837d840b0b68669eb4186f221686d629424e33b
add 'make dok-tidy' to the list of things to do for a 'make dok'
GNUmakefile.in