GNUMakefile.in: Let the dok-user target remove temporary files
authorFabian Keil <fk@fabiankeil.de>
Thu, 28 Jul 2016 08:16:04 +0000 (08:16 +0000)
committerFabian Keil <fk@fabiankeil.de>
Thu, 28 Jul 2016 08:16:04 +0000 (08:16 +0000)
commit57a3f4c9929bc3b1ae6395fb6c7a6062f9040ed4
tree1c18618b8aba3f671445456249722fa0f64fea2c
parent8d4509959ad3269845905b6b7ee8845adafce2a7
GNUMakefile.in: Let the dok-user target remove temporary files
GNUmakefile.in