diff options
Diffstat (limited to 'doc/utils/cleanhtml.sh')
| -rwxr-xr-x | doc/utils/cleanhtml.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/doc/utils/cleanhtml.sh b/doc/utils/cleanhtml.sh deleted file mode 100755 index a3ea2afac..000000000 --- a/doc/utils/cleanhtml.sh +++ /dev/null @@ -1,12 +0,0 @@ -# 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 |