Rev 3 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
#!/bin/sh# doc2dvi -- 'check' man pages (help files) by 'LaTeX'..## Example (in $RHOME):# etc/doc2dvi src/library/base/man/Normal# etc/doc2dvi `grep -l 'KEYWORD(distr' src/library/base/man/* |sort|uniq`#Pwd=`dirname $0`RHOME=${Pwd}/..D2L=${Pwd}/doc2latex#call_dir=`pwd`if [ -f doc.tex ]thenecho "'doc.tex' already exists -- renaming it to doc.tex.Older"echo " -------- "mv doc.tex doc.tex.Olderfi$D2L $@ > doc.texif [ ! -f Man0.tex ]; then ln -s ${RHOME}/mansrc/latex/Man0.tex . ; fiif [ ! -f Rdoc.sty ]; thensed 's/markright{#1}/markboth{#1}{#1}/' ${RHOME}/mansrc/latex/Rdoc.sty > doc.styfilatex Man0if [ -x `/usr/bin/which xdvi` ]then xdvi Man0 &fiecho ''echo 'doc2dvi: You may want to clean up by'echo ' rm Man0.* doc.sty doc.tex'echo ''