diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/publish.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/publish.sh b/tools/publish.sh index b9bd285..b07a736 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -5,13 +5,13 @@ TOOLS="${BASEDIR}/tools" BUILD="${BASEDIR}/build" ATOM="${BASEDIR}/atom.xml" SOURCES="${BASEDIR}/src" -NOTES="${BASEDIR}/notes" +NOTES="${SOURCES}/notes" # dump all the notes into a single file (echo '<?xml version="1.0" encoding="UTF-8"?>' && echo '<notes>' && - find "${SOURCES}" -name '*.xhtml' | + find "${NOTES}" -name '*.xhtml' | grep -v index.xhtml | sed -e "sS^${SOURCES}/\(.*\)S <note src=\"\\1\" />S" && echo '</notes>') | |