[ Index ]

PHP Cross Reference of Eventum

title

Body

[close]

/ -> phpxref.sh (source)

   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


Generated: Wed Dec 19 21:21:33 2007 Cross-referenced by PHPXref 0.7