Remove redundant comment.
authorMike Taylor <mike@indexdata.com>
Fri, 17 Oct 2014 09:26:25 +0000 (10:26 +0100)
committerMike Taylor <mike@indexdata.com>
Fri, 17 Oct 2014 09:26:25 +0000 (10:26 +0100)
commit47d4194c9d865a9a76e010942d828e95da170212
tree4beda9110ea46f6dfef7cb7f591dbde291b3be46
parentb52d4da9dce5b77e52f41b22e8b82d87c1a400e0
Remove redundant comment.
doc/Makefile