Rename documentation build rules using s/docs/doc/; more like git
authorJonas Fonseca <fonseca@diku.dk>
Tue, 30 May 2006 23:04:36 +0000 (01:04 +0200)
committerJonas Fonseca <fonseca@antimatter.localdomain>
Tue, 30 May 2006 23:04:36 +0000 (01:04 +0200)

No differences found