Dirk Hohndel 4675ab0617 Fix possible compatibility issue with asciidoc ... Apparently some version os asciidoc don't support the --theme option. Work around this by using -a theme='theme' instead. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>		2013-12-09 16:12:36 +01:00
..
images	Missing images for the manual	2013-12-09 16:05:51 +01:00
compact_wf.css	Add compact style to the Documentation	2013-12-08 07:50:34 +01:00
Makefile	Fix possible compatibility issue with asciidoc	2013-12-09 16:12:36 +01:00
user-manual.txt	Update to manual	2013-12-09 13:54:11 +01:00