index f58bf64b62a069d1d2d46a6fdace79a30149268b..7f7cfee9fbe8dee0f191a4ad5e86aa5f51632674 100755 (executable)
popd &> /dev/null
echo -en "</ENTRIES>\n" >> doc/guide.xml
-#sed -i "s~\t~ ~;s~\t~~g;" doc/guide.xml
+sed -i s/"[ \t][ \t]*"/" "/g doc/guide.xml
echo -en " done.\n"
# Core help