… | |
… | |
21 | shift |
21 | shift |
22 | shift |
22 | shift |
23 | echo "Generating html4 docs..." |
23 | echo "Generating html4 docs..." |
24 | |
24 | |
25 | libtool=$basedir/libtool |
25 | libtool=$basedir/libtool |
26 | psiconv=$basedir/psiconv/psiconv |
26 | psiconv=$basedir/program/psiconv/psiconv |
27 | indexfile=$outputdir/index |
27 | indexfile=$outputdir/index |
28 | tempdir=$outputdir/.temp |
28 | tempdir=$outputdir/.temp |
29 | mkindex=$basedir/formats/index_html.sh |
29 | mkindex=$basedir/formats/index_html.sh |
30 | index=$tempdir/index |
30 | index=$tempdir/index |
31 | mkdef=$basedir/formats/html_links.sh |
31 | mkdef=$basedir/formats/html_links.sh |