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"