+texi=$(mktemp)
+cat > $texi <<EOF
+\input texinfo
+@documentencoding UTF-8
+@settitle INSTALL
+@include install.texi
+@bye
+EOF
+sed -i.tmp "s/@verbatiminclude PUBKEY.asc/Look in PUBKEY.asc file./" install.texi
+makeinfo --plaintext -o INSTALL $texi
+rm $texi install.texi.tmp
+
+rm -rf .git .gitignore style.css makedist.sh www.mk