3 #--------------------------------------------------------------------------------------
 
    5 #                Utility script for generation of HTML Doxygen main page.
 
    7 #--------------------------------------------------------------------------------------
 
   12 if [ -z $JPP_DIR ]; then
 
   13     echo "Variable JPP_DIR undefined."
 
   17 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   19 if ( do_usage $* ); then
 
   25 set_variable NUMBER_OF_COLUMNS   3
 
   29 echo " * \mainpage Documentation"
 
   32 echo " * ul.b { list-style-type: none; counter-reset: section; columns: ${NUMBER_OF_COLUMNS}; -moz-column-count: ${NUMBER_OF_COLUMNS}; -webkit-column-count: ${NUMBER_OF_COLUMNS}; column-count: ${NUMBER_OF_COLUMNS}; }"
 
   38 echo " * <h2>Documents</h2>"
 
   39 echo " * <ul class=\"b\">"
 
   40 for file in `ls ${JPP_DOC}/*`; do
 
   41     if [ -f ${file} ]; then
 
   42    echo " * <li><a href=\"${file##*/}\">${file##*/}</a></li>"
 
   51 echo " * <h2>Applications</h2>"
 
   52 echo " * <ul class=\"b\">"
 
   53 for file in `ls ${JPP_BIN}`; do
 
   54     echo " * <li><a href=\"#${file}\">${file}</a></li>"
 
   62 echo " * <h2>Examples</h2>"
 
   63 echo " * <ul class=\"b\">"
 
   64 for dir in `ls examples`; do
 
   65     echo " * <li><a href=\"#${dir}\">${dir}</a></li>"
 
   72 for file in `ls ${JPP_BIN}`; do
 
   74     source=`get_source ${file}`
 
   77     echo " * <h4 id=\"${file}\">"
 
   78     if [[ -n "${source}" ]]; then
 
   79    echo " * \\\\endhtmlonly"
 
   80    echo " * ${source##*/}"
 
   87     ${file} -h! 2> /dev/null | sed 's/</\</g;s/>/\>/g'
 
   89     echo " * <a href="#top">Go back to top of page.</a>"
 
   95 for dir in `ls examples`; do
 
   98     echo " * <h4 id=\"${dir}\">${dir}</h4>"
 
   99     echo " * <ul class=\"b\">"
 
  100     for file in `find examples/${dir}/* -maxdepth 0 -perm /+x`; do
 
  101    echo " * <li><a href=\"#${file}\">${file##*/}</a></li>"
 
  104     echo " * <a href="#top">Go back to top of page.</a>"
 
  106     for file in `find examples/${dir}/* -maxdepth 0 -perm /+x`; do
 
  108    source=`get_source ${file}`
 
  111    echo " * <h4 id=\"${file}\">"
 
  112    if [[ -n "${source}" ]]; then
 
  113        echo " * \\\\endhtmlonly"
 
  114        echo " * ${source##*/}"
 
  121    ${file} -h! 2>&1 | sed 's/</\</g;s/>/\>/g'
 
  123    echo " * <a href="#top">Go back to top of page.</a>"
 
  127 echo " * \\\\endhtmlonly"