Engine/src/main/javadoc/theme.update.sh

8 lines
216 B
Bash
Raw Normal View History

2024-07-11 05:00:09 +02:00
#!/usr/bin/env bash
# This script's sole purpose is to combine
# 'theme.source.css' and 'theme.overlay.css'
# and create 'theme.css'.
rm -rf theme.css
cp theme.source.css theme.css
cat theme.overlay.css >> theme.css