3490
by glen
- add script and config used to generate phpxref |
1 |
#!/bin/sh
|
2 |
set -e
|
|
3 |
||
4 |
XREFDIR=/usr/share/phpxref |
|
5 |
CONFIG=./phpxref.cfg |
|
6 |
||
7 |
. "$CONFIG" |
|
8 |
[ -d "$OUTPUT" ] || mkdir -p "$OUTPUT" |
|
9 |
||
10 |
phpxref -c $CONFIG
|
|
11 |
||
12 |
[ -f "$OUTPUT/$STYLEFILE" ] || cp -a "$XREFDIR/$STYLEFILE" "$OUTPUT" |
|
13 |
[ -f "$OUTPUT/$PRINTSTYLEFILE" ] || cp -a "$XREFDIR/$PRINTSTYLEFILE" "$OUTPUT" |
|
14 |
[ -f "$OUTPUT/_icons/folder.gif" ] || cp -a "$XREFDIR/folder.gif" "$OUTPUT/_icons" |
|
15 |
[ -f "$OUTPUT/_icons/text.gif" ] || cp -a "$XREFDIR/text.gif" "$OUTPUT/_icons" |
|
16 |
[ -f "$OUTPUT/phpxref.js" ] || cp -a "$XREFDIR/phpxref.js" "$OUTPUT" |
|
17 |
[ -f "$OUTPUT/_jstree/tree.js" ] || cp -a "$XREFDIR/jstree/tree.js" "$OUTPUT/_jstree" |
|
18 |
[ -f "$OUTPUT/_jstree/tree_tpl.js" ] || cp -a "$XREFDIR/jstree/tree_tpl.js" "$OUTPUT/_jstree" |
|
19 |
for i in base.gif empty.gif folder.gif folderopen.gif join.gif joinbottom.gif line.gif minus.gif minusbottom.gif page.gif plus.gif plusbottom.gif; do |
|
20 |
[ -f "$OUTPUT/_jstree/icons/$i" ] || cp -a "$XREFDIR/jstree/icons/$i" "$OUTPUT/_jstree/icons" |
|
21 |
done
|