Add means to build user manual via make
authorDaniel Molkentin <daniel@molkentin.de>
Tue, 27 Jan 2015 22:40:53 +0000 (23:40 +0100)
committerDaniel Molkentin <daniel@molkentin.de>
Tue, 27 Jan 2015 22:40:53 +0000 (23:40 +0100)
commit67ea45aa9fd0e829d295675a2039d45ab940458d
tree014ba1e69a1217a430920c6ccc568944645091a5
parenta9d12f3b1c2fc52a1025f9983d6f4793e61f853a
Add means to build user manual via make
user_manual/Makefile [new file with mode: 0644]