add a 'docs' target
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 16 Aug 2013 14:54:36 +0000 (14:54 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 16 Aug 2013 14:56:01 +0000 (14:56 +0000)

No differences found