Makefile: rebuild if doc.h changes
commitf02052b62e1a44dfa9f02dba4c4e45d95f29fe02
authorAli Gholami Rudi <ali@rudi.ir>
Fri, 22 Mar 2013 14:46:05 +0000 (22 19:16 +0430)
committerAli Gholami Rudi <ali@rudi.ir>
Fri, 22 Mar 2013 14:46:05 +0000 (22 19:16 +0430)
tree913e447ea0cadd87a08badc24c0c6f56e65b93f2
parenta64e68806211414598507dbf884fb4670bf68086
Makefile: rebuild if doc.h changes
Makefile