diff --git a/compile b/compile index d44d129ab69d49563aebeec6f894f4e42b013f7a..c9bb6c0cd576c3111a246d3985f774f3c7670586 100755 --- a/compile +++ b/compile @@ -66,3 +66,6 @@ fi #Make the output prettier, replacing \t with a tab and \n with a newline sed -i -e '/^.*<div id="store-area".*$/s/\\t/\t/g' -e '/^.*<div id="store-area".*$/s/\\n/\n/g' bin/FC_pregmod_tmp.html \ && mv bin/FC_pregmod_tmp.html bin/FC_pregmod.html + +echo "bin/FC_pregmod.html compilation finished." + diff --git a/compile-git b/compile-git index 92331b4916db9a0906e43e383916518ab689f2e5..43304f9a1090397b866dd284c853f9b6a80502ad 100755 --- a/compile-git +++ b/compile-git @@ -41,4 +41,4 @@ $TWEEGO_EXE -o "bin/FC_pregmod_${HASH}_tmp.html" src/ sed -i -e '/^<div id="store-area".*$/s/\\t/\t/g' -e '/^<div id="store-area".*$/s/\\n/\n/g' "bin/FC_pregmod_${HASH}_tmp.html" \ && mv "bin/FC_pregmod_${HASH}_tmp.html" "bin/FC_pregmod_${HASH}.html" -echo "FC_pregmod_$HASH.html compilation finished." +echo "bin/FC_pregmod_$HASH.html compilation finished."