Max Mehl 866fa9bf53 Merge pull request 'Update fonts and JS' (#1638) from fonts-js-update into master		2020-10-13 15:51:02 +02:00
..
xslt	Merge pull request 'Update fonts and JS' (#1638) from fonts-js-update into master	2020-10-13 15:51:02 +02:00
HELP	Re-introduce the possibility of a full-build	2020-04-23 17:15:49 +02:00
arguments.sh	Add new build option "build_run"	2020-05-16 21:32:02 +02:00
build_main.sh	Make build try git pull 3 times (#1525)	2020-07-28 15:59:05 +02:00
buildrun.sh	Make build try git pull 3 times (#1525)	2020-07-28 15:59:05 +02:00
filenames.sh	Remove some spaghetti from build script	2020-04-24 08:52:01 +02:00
logging.sh	Replace /bin/bash with /usr/bin/env bash	2019-05-23 21:16:20 +02:00
makerules.sh	texts reorganisation in build and make scripts	2020-07-30 14:17:59 +02:00
misc.sh	Remove some spaghetti from build script	2020-04-24 08:52:01 +02:00
process_file.sh	Replace /bin/bash with /usr/bin/env bash	2019-05-23 21:16:20 +02:00
processor.sh	Remove some spaghetti from build script	2020-04-24 08:52:01 +02:00
scaffold.sh	texts reorganisation in build and make scripts	2020-07-30 14:17:59 +02:00
status.html.sh	Replace /bin/bash with /usr/bin/env bash	2019-05-23 21:16:20 +02:00