Add scripts to update the PDF content from the available GIFs
authorJavier Fernández-Sanguino <javier.fernandez-sanguino@projectaon.org>
Sat, 19 Mar 2016 09:33:08 +0000 (09:33 +0000)
committerJavier Fernández-Sanguino <javier.fernandez-sanguino@projectaon.org>
Sat, 19 Mar 2016 09:33:08 +0000 (09:33 +0000)
git-svn-id: https://projectaon.org/data/trunk@2523 f6f3e2d7-ff33-0410-aaf5-b4bee2cdac11

es/update-actionchart.sh [new file with mode: 0755]
es/update-scrolls.sh [new file with mode: 0755]
es/update-titles.sh [new file with mode: 0755]

diff --git a/es/update-actionchart.sh b/es/update-actionchart.sh
new file mode 100755 (executable)
index 0000000..10c3534
--- /dev/null
@@ -0,0 +1,20 @@
+#!/bin/sh -e
+
+# Update title skins based on the gif files contributed 
+
+series="kai magnakai grandmaster neworder"
+for series in $series; do
+    if [ -d "png/ls/${series}" ] ; then
+        for file in png/ls/${series}/*png; do
+            if [ -e "$file" ] ; then
+               basefile=`basename $file | sed -e 's/.png//'` 
+               scroll_png=$file
+               scroll_pdf="pdf/ls/${series}/${basefile}.pdf"
+               pdfdir=`dirname $scroll_pdf`
+               [ ! -e "$pdfdir" ] && mkdir -p "$pdfdir"
+               echo "Series $series - updating PDF chart $basefile with PNG version (in $pdfdir)"
+               convert "$scroll_png" "$scroll_pdf"
+            fi
+        done
+    fi
+done
diff --git a/es/update-scrolls.sh b/es/update-scrolls.sh
new file mode 100755 (executable)
index 0000000..d659b37
--- /dev/null
@@ -0,0 +1,15 @@
+#!/bin/sh -e
+
+# Update title skins based on the gif files contributed 
+
+for dir in eps/ls/*; do
+    series=`basename $dir` 
+    scroll_eps="eps/ls/${series}/bearer.eps"
+    scroll_pdf="pdf/ls/${series}/bearer.pdf"
+    pdfdir=`dirname $scroll_pdf`
+    if [ -e "$scroll_eps" ] ; then
+        [ ! -e "$pdfdir" ] && mkdir -p "$pdfdir"
+        echo "Series $series - updating PDF title with EPS version (in $pdfdir)"
+        convert "$scroll_eps" "$scroll_pdf"
+    fi
+done
diff --git a/es/update-titles.sh b/es/update-titles.sh
new file mode 100755 (executable)
index 0000000..80b9819
--- /dev/null
@@ -0,0 +1,13 @@
+#!/bin/sh -e
+
+# Update title skins based on the gif files contributed 
+
+for dir in gif/ls/*; do
+    book=`basename $dir` 
+    title_gif="gif/ls/${book}/skins/standard/title.gif"
+    title_png="png/ls/${book}/skins/standard/title.png"
+    if [ -e "$title_gif" ] ; then
+        echo "Book $book - updating PNG title with GIF version"
+        convert "$title_gif" "$title_png"
+    fi
+done