Revert the previous commit for now.
authorFabian Keil <fk@fabiankeil.de>
Wed, 17 Aug 2011 10:30:11 +0000 (10:30 +0000)
committerFabian Keil <fk@fabiankeil.de>
Wed, 17 Aug 2011 10:30:11 +0000 (10:30 +0000)
commit9796ff6831bfbf9b25870cb8d6595eb6ebe3eb7c
treec69a1f3515c02aa4e0fe2693c7b61db022dcab82
parent43f55b819621d00730dc54b3ff121f4b5199c2cf
Revert the previous commit for now.

Turns out that it broke a the dok targets. Ooops.
GNUmakefile.in