Commit a9cd39cc0cd34eeaf3f256a9b53138e6ef8e884e v1.0
authorJakob Gruber <jakob.gruber@gmail.com>
Thu, 25 Oct 2012 09:40:05 +0000 (11:40 +0200)
committerJakob Gruber <jakob.gruber@gmail.com>
Thu, 25 Oct 2012 09:43:40 +0000 (11:43 +0200)
tree39fe5e8beefa873d63d907f8637b34ed9efa30cf
parent61e465116638f20bfe125daffc3ec782a625f2fb
Message:
Makefiles: Add manual and a global doc target

Manual generation is now included in the doc/Makefile. Additionally,
a doc target has been added to the global Makefile.
2 files changed:
Makefile
doc/Makefile