From: Javier Fernández-Sanguino <javier.fernandez-sanguino@projectaon.org>
Date: Sat, 19 Mar 2016 09:33:08 +0000 (+0000)
Subject: Add scripts to update the PDF content from the available GIFs
X-Git-Tag: 20180215~175
X-Git-Url: http://git.projectaon.org/?p=project-aon.git;a=commitdiff_plain;h=4d44ad6c9597fb79bc9c98c733f67576782b8fa6

Add scripts to update the PDF content from the available GIFs

git-svn-id: https://projectaon.org/data/trunk@2523 f6f3e2d7-ff33-0410-aaf5-b4bee2cdac11
---

diff --git a/es/update-actionchart.sh b/es/update-actionchart.sh
new file mode 100755
index 0000000..10c3534
--- /dev/null
+++ b/es/update-actionchart.sh
@@ -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
index 0000000..d659b37
--- /dev/null
+++ b/es/update-scrolls.sh
@@ -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
index 0000000..80b9819
--- /dev/null
+++ b/es/update-titles.sh
@@ -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