[vala/wip/docbook-manual: 2/5] doc: Add script to download Vala manual from GNOME wiki

[Rico Tzschichholz <ricotz src gnome org>]

commit 76096e4c06a41398aa6faa8965caf3c82b9295cc
Author: Alistair Thomas <astavale yahoo co uk>
Date:   Thu Jan 19 20:57:20 2017 +0000

    doc: Add script to download Vala manual from GNOME wiki

 doc/manual/download-manual-from-wiki.sh |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/doc/manual/download-manual-from-wiki.sh b/doc/manual/download-manual-from-wiki.sh
new file mode 100755
index 0000000..c80778e
--- /dev/null
+++ b/doc/manual/download-manual-from-wiki.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+curl --output manual.xml --silent 
https://wiki.gnome.org/Projects/Vala/Manual/Export?action=format\&mimetype=text/docbook
+sed --in-place 's/<articleinfo>.*<\/articleinfo>//g' manual.xml
+sed --in-place 's/<section>/\n\n<section>/g' manual.xml
+sed --in-place 's/<\/section>/\n<\/section>/g' manual.xml
+sed --in-place 's/<title>/\n<title>/g' manual.xml
+sed --in-place 's/<para>/\n<para>/g' manual.xml