doc/utils/cleanhtml.sh


1
2
3
4
5
6
7
8
9
10
11
12

# script to clean up HTML files
# removes formatting added by htmldoc
#
# first argument is sedscript to use
f=$1
shift
# remaining args are files to process
for i
do
	sed -f $f $i > tmp
	mv tmp $i
done