File: gen_style_example.sh.in

package info (click to toggle)
source-highlight 3.1.8-1.2~deb9u1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 10,224 kB
  • sloc: sh: 11,709; cpp: 10,226; ansic: 9,521; makefile: 1,902; lex: 1,200; yacc: 1,021; php: 213; perl: 211; awk: 98; erlang: 94; lisp: 90; java: 75; ruby: 69; python: 61; asm: 43; ada: 36; ml: 29; haskell: 27; xml: 23; cs: 11; sql: 8; tcl: 7; sed: 4
file content (12 lines) | stat: -rw-r--r-- 378 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#! @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 "<h2>$arg</h2>";
    $SOURCEHIGHLIGHT --tab=8 --input=@srcdir@/Hello.java --style-css=@srcdir@/$arg --data-dir=@top_srcdir@/src --outlang-def=xhtmltable.outlang;
done