#!/bin/sh ## For now, only post-process the texi2any --html results. ## Could also do the the generation, but options differ according to ## manual (in particular, R-FAQ uses a different CSS). ## Arguments: ## maj min html ## with maj and min the maj and min components of the tex2any version, ## and html the name of the HTML *target*: the actual input will have ## '.tmp' appended to html. SED=${SED-sed} sedscriptini=`echo "$0" | ${SED} 's/texi2html.sh/quot.sed/'` sedscriptuse=$3.sed if test $1 -ge 7; then cat ${sedscriptini} | ${SED} '/s\/ ${sedscriptuse} cat >>${sedscriptuse} <<-EOF s/
= 7.0 cat "${sedscriptini}" - >>"${sedscriptuse}" <<-EOF /

"${sedscriptuse}" <<-EOF s/\\