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