@@ -232,12 +232,12 @@
os=Linux; \
fi; \
- echo "\"Compiled on a $$os $$version system" \
+- echo "\"Compiled on a $$os $$version system" \
- "on `date +%Y-%m-%d`.\\n\"" ;; \
++ echo -e "\"Compiled on a $$os $$version system" \
+ "on `date +%Y-%m-%d`.\\\\n\"" ;; \
*) ;; \
esac; \
files="$(all-Banner-files)"; \
if test -n "$$files"; then \
- echo "\"Available extensions:\\n\""; \
-+ echo "\"Available extensions:\\\\n\""; \
++ echo -e "\"Available extensions:\\\\n\""; \
sed -e '/^#/d' -e 's/^[[:space:]]*/ /' \
-e 's/^\(.*\)$$/\"\1\\n\"/' $$files; \
fi) > $@T