From eb1d665d6f0698a6a98c279bb78ccd70b84288bf Mon Sep 17 00:00:00 2001 From: Daniel_Stoxreiter Date: Thu, 14 Dec 2023 11:44:47 +0100 Subject: [PATCH] minor index css changes #62; edition-md update #107 --- build_app/ant/copy-task.xml | 6 +++--- build_app/shell/fetch_data.sh | 12 ++++++------ xslt/index.xsl | 32 +++++++++++++++----------------- xslt/partials/edition-md.xsl | 4 ++-- xslt/preprocess.xsl | 31 +++++++++++++++++++++++++++++-- 5 files changed, 55 insertions(+), 30 deletions(-) diff --git a/build_app/ant/copy-task.xml b/build_app/ant/copy-task.xml index 021ff887c..6eadfd95b 100644 --- a/build_app/ant/copy-task.xml +++ b/build_app/ant/copy-task.xml @@ -7,7 +7,7 @@ --> - + @@ -19,10 +19,10 @@ --> - + diff --git a/build_app/shell/fetch_data.sh b/build_app/shell/fetch_data.sh index 2419f1077..a9f318f3d 100755 --- a/build_app/shell/fetch_data.sh +++ b/build_app/shell/fetch_data.sh @@ -1,11 +1,11 @@ # bin/bash -rm dev05.zip +rm main.zip rm -rf ./data -wget https://github.com/Auden-Musulin-Papers/amp-data/archive/refs/heads/dev05.zip -unzip dev05 -mv amp-data-dev05/data ./data -rm -rf amp-data-dev05 -rm dev05.zip +wget https://github.com/Auden-Musulin-Papers/amp-data/archive/refs/heads/main.zip +unzip main +mv amp-data-main/data ./data +rm -rf amp-data-main +rm main.zip rm -rf ./data/tmp \ No newline at end of file diff --git a/xslt/index.xsl b/xslt/index.xsl index b444e4a6f..955669132 100644 --- a/xslt/index.xsl +++ b/xslt/index.xsl @@ -61,13 +61,13 @@