diff options
-rwxr-xr-x | tools/publish.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/publish.sh b/tools/publish.sh index c962063..cd3f46c 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -12,6 +12,7 @@ NOTES="${BASEDIR}/notes" (echo '<?xml version="1.0" encoding="UTF-8"?>' && echo '<notes>' && find "${NOTES}" -name '*.xhtml' | + grep -v index.xhtml | sed -e "sS^${BASEDIR}/\(.*\)S <note src=\"\\1\" />S" && echo '</notes>') | xsltproc -o "${BUILD}/notes-dump.xml" "${TOOLS}/xml-notes-dump.xsl" - |