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)
commitc92615b1b3fa6c3cbc54278a9af52df58fcc2a29
treed89e7c98d32535fd7568fd7c9204c060f706c341
parent5976048600791033f3f9dc559fc2ee0d4e43bf1e
Rename documentation build rules using s/docs/doc/; more like git
Makefile