forked from Imagelibrary/rtems
126 lines
3.2 KiB
Bash
126 lines
3.2 KiB
Bash
#! /bin/sh
|
|
#
|
|
# This script is intended to be run in the build directory of a software
|
|
# package including documentation in texinfo format. The basic operation
|
|
# of this script is to:
|
|
# + find all ".dvi" files from the current directory down,
|
|
# + for each dvi file
|
|
# + install the dvi file
|
|
# + generate PostScript files for the dvi file
|
|
# + install the PostScript file
|
|
# + if there is texinfo source for this dvi file
|
|
# install the info files
|
|
# generate PDF from the texinfo source
|
|
# install the PDF file
|
|
# generate HTML from the texinfo source
|
|
# install the HTML file
|
|
#
|
|
#
|
|
|
|
texi2www=/usr1/rtems/rtemsdoc-work/tools/texi2www/texi2www
|
|
install=/usr3/rtems_cds/test_cd/doc/tools/html
|
|
|
|
#if [ $? -ne 1 ] ; then
|
|
# echo "Usage: $0 install_directory"
|
|
# exit 1
|
|
#fi
|
|
|
|
if [ ! -d ${install} ] ; then
|
|
echo "${install} is not a directory"
|
|
exit 1
|
|
fi
|
|
|
|
#ECHO=echo
|
|
|
|
STARTDIR=`pwd`
|
|
find . -name "*.dvi" | while read file
|
|
do
|
|
cd $STARTDIR
|
|
cd `dirname $file`
|
|
echo $file
|
|
i=`basename $file`
|
|
####
|
|
b=`echo $i | cut -d'.' -f1`
|
|
echo $b
|
|
|
|
if [ -d ${install}/${b} ] ; then
|
|
echo "Cleaning install point for ${b}"
|
|
${ECHO} rm -rf ${install}/${b}
|
|
fi
|
|
${ECHO} mkdir ${install}/${b}
|
|
|
|
echo "Copying DVI for ${b}"
|
|
${ECHO} cp ${b}.dvi ${install}/${b}
|
|
|
|
echo "Generating PS for ${b}"
|
|
${ECHO} dvips -o ${install}/${b}/${b}.ps ${b}.dvi
|
|
|
|
# unfortunately the .dvi names are not always the same. :(
|
|
case ${b} in
|
|
history) tsrc=hist ;;
|
|
readline) tsrc=rlman ;;
|
|
*) tsrc=${b} ;;
|
|
esac
|
|
|
|
case ${b} in
|
|
refcard)
|
|
cp $d/gnu_docs/refcard.html ${install}/${b}
|
|
;;
|
|
*)
|
|
if [ -r ${tsrc}.texi ] ; then
|
|
ext=texi
|
|
elif [ -r ${tsrc}.texinfo ] ; then
|
|
ext=texinfo
|
|
else
|
|
echo "***
|
|
echo "*** Cannot find a texi or texinfo file for ${b}"
|
|
echo "***
|
|
exit 1
|
|
fi
|
|
|
|
echo "Copying INFO for ${b}"
|
|
${ECHO} cp ${b}.info* ${install}/../info
|
|
|
|
case ${b} in
|
|
g77) bad_for_pdf="yes" ;;
|
|
*) bad_for_pdf="no" ;;
|
|
esac
|
|
|
|
case ${b} in
|
|
gdb) extraargs_for_pdf="-I ../../readline/doc" ;;
|
|
*) extraargs_for_pdf="" ;;
|
|
esac
|
|
if [ ${bad_for_pdf} = "yes" ] ; then
|
|
echo "*** "
|
|
echo "*** Skipping PDF for ${b}"
|
|
echo "*** "
|
|
else
|
|
echo "Generating PDF for ${b}"
|
|
${ECHO} texi2pdf ${extraargs_for_pdf} ${tsrc}.${ext} && \
|
|
${ECHO} cp ${tsrc}.pdf ${install}/${b}/${b}.pdf
|
|
fi
|
|
|
|
# until texi2www is modified to take a search path
|
|
case ${b} in
|
|
gdb)
|
|
sed -e 's/^ @/@/' <../../readline/doc/rluser.texinfo >rluser.texinfo
|
|
cp ../../readline/doc/inc-hist.texi .
|
|
;;
|
|
readline)
|
|
cp rluser.texinfo rluser.texinfo.tmp
|
|
sed -e 's/^ @/@/' <../../readline/doc/rluser.texinfo >rluser.texinfo
|
|
rm -f rluser.texinfo.tmp
|
|
;;
|
|
*) ;;
|
|
esac
|
|
echo "Generating HTML for ${b}"
|
|
${ECHO} ${texi2www} \
|
|
-dirfile ../index.html \
|
|
-header $d/gnu_docs/gnu_header.html \
|
|
-footer $d/gnu_docs/gnu_footer.html \
|
|
-icons .. -dir ${install}/${b} \
|
|
${tsrc}.${ext}
|
|
;;
|
|
esac
|
|
done
|