Steffen Gebert da631c788c Abort release, if asciidoc is missing ... It is hard to figure out, why no documentation is built, if asciidoc is not installed on the build system. Thus, abort the build and advise to either install asciidoc or add the --without-documentation parameter. Change-Id: I12c5c71d4f36333eabf01515344111ee9436a07c		2012-11-05 08:17:46 +01:00
..
deploy_api.sh	Fix output references in tools/deploy_api.sh	2012-05-18 10:33:52 -07:00
gitlog2asciidoc.py	Add --issues and --issue_numbers to gitlog2asciidoc.py	2012-03-26 12:51:38 -07:00
GoogleFormat.xml	Rewrite our build as modular maven components	2009-11-11 16:54:06 -08:00
gwtui_dbg.launch	Add the run profiles to the favorites menu because I'm lazy	2012-07-25 10:53:34 -04:00
pgm_daemon.launch	Add the run profiles to the favorites menu because I'm lazy	2012-07-25 10:53:34 -04:00
release.sh	Abort release, if asciidoc is missing	2012-11-05 08:17:46 +01:00
version.sh	Exclude pom in archetype resources from version replacement	2012-07-31 15:22:58 +02:00