#! @SHELL@ # generate the output of a formatting, using a style file # the output is intended to be inserted in the examples.html SOURCEHIGHLIGHT=@top_builddir@/src/source-highlight for arg in $* do echo "

$arg

"; $SOURCEHIGHLIGHT --tab=8 --input=@srcdir@/Hello.java --style-css=@srcdir@/$arg --data-dir=@top_srcdir@/src --outlang-def=xhtmltable.outlang; done