# This script helps building the file docs/TODOs.txt and should be executed by
# developers with SVN write-access
# This script helps building the file docs/TODOs.txt and should be executed by
# developers with SVN write-access
echo "$0: Generating TODOs.txt..."
echo "### WARNING: THIS FILE IS AUTO-GENERATED BY $0 ###" > docs/TODOs.txt
echo "### DO NOT EDIT THIS FILE. ###" >> docs/TODOs.txt
echo "$0: Generating TODOs.txt..."
echo "### WARNING: THIS FILE IS AUTO-GENERATED BY $0 ###" > docs/TODOs.txt
echo "### DO NOT EDIT THIS FILE. ###" >> docs/TODOs.txt