File: create-doc.sh

package info (click to toggle)
spring 103.0%2Bdfsg2-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 43,720 kB
  • ctags: 63,685
  • sloc: cpp: 368,283; ansic: 33,988; python: 12,417; java: 12,203; awk: 5,879; sh: 1,846; xml: 655; perl: 405; php: 211; objc: 194; makefile: 77; sed: 2
file content (30 lines) | stat: -rwxr-xr-x 522 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#!/bin/sh

# generates documentation from springs source code
set -e
. buildbot/slave/prepare.sh

DEST=${TMP_BASE}/doc/${REV}
mkdir -p $DEST/engine

echo $DEST
(
cat Doxyfile
echo "OUTPUT_DIRECTORY = $DEST/engine"
echo "HTML_OUTPUT = ./"
) | doxygen -
echo $DEST

#FIXME: find a way to directly generate in $DEST
cd AI/Interfaces/Java/bin
ant doc
cd -
mv dist/AI/Interfaces/Java/0.1/doc/jdoc/ $DEST/Java

cd AI/Wrappers/JavaOO/bin
ant doc
cd -
mv dist/AI/Wrappers/JavaOO/doc/jdoc/ $DEST/JavaOO

echo "Wrote doc to $DEST"