mirror of
https://github.com/UiO-Gaming/dokumenter.git
synced 2026-11-05 13:56:49 +01:00
565 lines
22 KiB
YAML
565 lines
22 KiB
YAML
name: Compile LaTeX Documents
|
|
|
|
on:
|
|
push:
|
|
paths:
|
|
- "styrende dokumenter/vedtekter/**/*.tex"
|
|
- "styrende dokumenter/vedtekter/**/*.png"
|
|
- "styrende dokumenter/vedtekter/**/*.jpg"
|
|
- "styrende dokumenter/vedtekter/**/*.jpeg"
|
|
pull_request:
|
|
branches: [main, master]
|
|
paths:
|
|
- "styrende dokumenter/vedtekter/**/*.tex"
|
|
- "styrende dokumenter/vedtekter/**/*.png"
|
|
- "styrende dokumenter/vedtekter/**/*.jpg"
|
|
- "styrende dokumenter/vedtekter/**/*.jpeg"
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
compile-latex:
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Archive current PDFs
|
|
run: |
|
|
# Function to get the next version number for Norwegian
|
|
get_next_norwegian_version() {
|
|
local max_version=0
|
|
for file in "styrende dokumenter/vedtekter/utgåtte"/*.pdf; do
|
|
if [[ -f "$file" ]]; then
|
|
# Extract version number from filename like "8 - Vedtekter UiO Gaming (15.10.2024 - 21.02.2025).pdf"
|
|
if [[ "$file" =~ ([0-9]+)\ -\ Vedtekter ]]; then
|
|
local version="${BASH_REMATCH[1]}"
|
|
if [ "$version" -gt "$max_version" ]; then
|
|
max_version=$version
|
|
fi
|
|
fi
|
|
fi
|
|
done
|
|
echo $((max_version + 1))
|
|
}
|
|
|
|
# Function to get the next version number for English
|
|
get_next_english_version() {
|
|
local max_version=0
|
|
for file in "styrende dokumenter/vedtekter/english/old"/*.pdf; do
|
|
if [[ -f "$file" ]]; then
|
|
# Extract version number from filename like "2 - Statutes UiO Gaming (2024-10-15 - 2025-02-21).pdf"
|
|
if [[ "$file" =~ ([0-9]+)\ -\ Statutes ]]; then
|
|
local version="${BASH_REMATCH[1]}"
|
|
if [ "$version" -gt "$max_version" ]; then
|
|
max_version=$version
|
|
fi
|
|
fi
|
|
fi
|
|
done
|
|
echo $((max_version + 1))
|
|
}
|
|
|
|
# Function to extract date from Norwegian front page (for filename)
|
|
extract_norwegian_date_filename() {
|
|
local front_page_file="$1"
|
|
local date_line=$(grep -A1 "Sist revidert:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([0-9]{2})\.([0-9]{2})\.([0-9]{4}) ]]; then
|
|
local day="${BASH_REMATCH[1]}"
|
|
local month="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
echo "${day}.${month}.${year}"
|
|
else
|
|
echo "$(date +"%d.%m.%Y")"
|
|
fi
|
|
}
|
|
|
|
# Function to extract date from English front page (for filename)
|
|
extract_english_date_filename() {
|
|
local front_page_file="$1"
|
|
local date_line=$(grep -A1 "Last changed:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([A-Za-z]+)\ ([0-9]{1,2}),\ ([0-9]{4}) ]]; then
|
|
local month_name="${BASH_REMATCH[1]}"
|
|
local day="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
|
|
# Convert month name to number
|
|
case "${month_name,,}" in
|
|
"january") month="01" ;;
|
|
"february") month="02" ;;
|
|
"march") month="03" ;;
|
|
"april") month="04" ;;
|
|
"may") month="05" ;;
|
|
"june") month="06" ;;
|
|
"july") month="07" ;;
|
|
"august") month="08" ;;
|
|
"september") month="09" ;;
|
|
"october") month="10" ;;
|
|
"november") month="11" ;;
|
|
"december") month="12" ;;
|
|
*) month="01" ;;
|
|
esac
|
|
|
|
# Pad day with leading zero if needed
|
|
day=$(printf "%02d" "$day")
|
|
echo "${year}-${month}-${day}"
|
|
else
|
|
echo "$(date +"%Y-%m-%d")"
|
|
fi
|
|
}
|
|
|
|
# Function to extract date for metadata (ISO format)
|
|
extract_norwegian_date_metadata() {
|
|
local front_page_file="$1"
|
|
local date_line=$(grep -A1 "Sist revidert:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([0-9]{2})\.([0-9]{2})\.([0-9]{4}) ]]; then
|
|
local day="${BASH_REMATCH[1]}"
|
|
local month="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
echo "${year}:${month}:${day} 00:00:00"
|
|
else
|
|
echo "$(date -u +"%Y:%m:%d %H:%M:%S")"
|
|
fi
|
|
}
|
|
|
|
# Function to extract date for metadata (ISO format)
|
|
extract_english_date_metadata() {
|
|
local front_page_file="$1"
|
|
local date_line=$(grep -A1 "Last changed:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([A-Za-z]+)\ ([0-9]{1,2}),\ ([0-9]{4}) ]]; then
|
|
local month_name="${BASH_REMATCH[1]}"
|
|
local day="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
|
|
# Convert month name to number
|
|
case "${month_name,,}" in
|
|
"january") month="01" ;;
|
|
"february") month="02" ;;
|
|
"march") month="03" ;;
|
|
"april") month="04" ;;
|
|
"may") month="05" ;;
|
|
"june") month="06" ;;
|
|
"july") month="07" ;;
|
|
"august") month="08" ;;
|
|
"september") month="09" ;;
|
|
"october") month="10" ;;
|
|
"november") month="11" ;;
|
|
"december") month="12" ;;
|
|
*) month="01" ;;
|
|
esac
|
|
|
|
# Pad day with leading zero if needed
|
|
day=$(printf "%02d" "$day")
|
|
echo "${year}:${month}:${day} 00:00:00"
|
|
else
|
|
echo "$(date -u +"%Y:%m:%d %H:%M:%S")"
|
|
fi
|
|
}
|
|
|
|
# Function to add metadata to PDF
|
|
add_metadata() {
|
|
local pdf_file="$1"
|
|
local title="$2"
|
|
local author="$3"
|
|
local subject="$4"
|
|
local creator="$5"
|
|
local producer="$6"
|
|
local creation_date="$7"
|
|
local modify_date="$8"
|
|
|
|
exiftool -overwrite_original \
|
|
-Title="$title" \
|
|
-Author="$author" \
|
|
-Subject="$subject" \
|
|
-Creator="$creator" \
|
|
-Producer="$producer" \
|
|
-CreateDate="$creation_date" \
|
|
-ModifyDate="$modify_date" \
|
|
-PDF:Title="$title" \
|
|
-PDF:Author="$author" \
|
|
-PDF:Subject="$subject" \
|
|
-PDF:Creator="$creator" \
|
|
-PDF:Producer="$producer" \
|
|
-PDF:CreationDate="$creation_date" \
|
|
-PDF:ModDate="$modify_date" \
|
|
"$pdf_file"
|
|
}
|
|
|
|
# Archive Norwegian PDF if it exists
|
|
if [ -f "styrende dokumenter/vedtekter/nå/latex/main.pdf" ]; then
|
|
echo "Archiving Norwegian PDF..."
|
|
|
|
# Get current date from front page
|
|
current_date=$(extract_norwegian_date_filename "styrende dokumenter/vedtekter/nå/latex/front_page.tex")
|
|
|
|
# Get the last archived date to create the date range
|
|
last_archived_date=""
|
|
for file in "styrende dokumenter/vedtekter/utgåtte"/*.pdf; do
|
|
if [[ -f "$file" ]]; then
|
|
# Extract end date from filename like "8 - Vedtekter UiO Gaming (15.10.2024 - 21.02.2025).pdf"
|
|
if [[ "$file" =~ \(([0-9]{2}\.[0-9]{2}\.[0-9]{4})\ -\ ([0-9]{2}\.[0-9]{2}\.[0-9]{4})\) ]]; then
|
|
local end_date="${BASH_REMATCH[2]}"
|
|
if [ -z "$last_archived_date" ] || [ "$end_date" \> "$last_archived_date" ]; then
|
|
last_archived_date="$end_date"
|
|
fi
|
|
fi
|
|
fi
|
|
done
|
|
|
|
# If no previous archive found, use a default start date
|
|
if [ -z "$last_archived_date" ]; then
|
|
last_archived_date="01.01.2000" # Default fallback
|
|
fi
|
|
|
|
# Get next version number
|
|
next_version=$(get_next_norwegian_version)
|
|
|
|
# Create new filename
|
|
new_filename="${next_version} - Vedtekter UiO Gaming (${last_archived_date} - ${current_date}).pdf"
|
|
|
|
# Copy and rename the file
|
|
cp "styrende dokumenter/vedtekter/nå/latex/main.pdf" "styrende dokumenter/vedtekter/utgåtte/${new_filename}"
|
|
|
|
# Update metadata for archived file
|
|
archived_date=$(extract_norwegian_date_metadata "styrende dokumenter/vedtekter/nå/latex/front_page.tex")
|
|
current_timestamp=$(date -u +"%Y:%m:%d %H:%M:%S")
|
|
|
|
add_metadata \
|
|
"styrende dokumenter/vedtekter/utgåtte/${new_filename}" \
|
|
"Vedtekter UiO Gaming (${last_archived_date} - ${current_date})" \
|
|
"UiO Gaming" \
|
|
"Vedtekter UiO Gaming (${last_archived_date} til ${current_date})" \
|
|
"LaTeX" \
|
|
"GitHub Actions" \
|
|
"$current_timestamp" \
|
|
"$archived_date"
|
|
|
|
echo "Archived Norwegian PDF as: ${new_filename}"
|
|
fi
|
|
|
|
# Archive English PDF if it exists
|
|
if [ -f "styrende dokumenter/vedtekter/english/active/latex/main.pdf" ]; then
|
|
echo "Archiving English PDF..."
|
|
|
|
# Get current date from front page
|
|
current_date=$(extract_english_date_filename "styrende dokumenter/vedtekter/english/active/latex/front_page.tex")
|
|
|
|
# Get the last archived date to create the date range
|
|
last_archived_date=""
|
|
for file in "styrende dokumenter/vedtekter/english/old"/*.pdf; do
|
|
if [[ -f "$file" ]]; then
|
|
# Extract end date from filename like "2 - Statutes UiO Gaming (2024-10-15 - 2025-02-21).pdf"
|
|
if [[ "$file" =~ \(([0-9]{4}-[0-9]{2}-[0-9]{2})\ -\ ([0-9]{4}-[0-9]{2}-[0-9]{2})\) ]]; then
|
|
local end_date="${BASH_REMATCH[2]}"
|
|
if [ -z "$last_archived_date" ] || [ "$end_date" \> "$last_archived_date" ]; then
|
|
last_archived_date="$end_date"
|
|
fi
|
|
fi
|
|
fi
|
|
done
|
|
|
|
# If no previous archive found, use a default start date
|
|
if [ -z "$last_archived_date" ]; then
|
|
last_archived_date="2000-01-01" # Default fallback
|
|
fi
|
|
|
|
# Get next version number
|
|
next_version=$(get_next_english_version)
|
|
|
|
# Create new filename
|
|
new_filename="${next_version} - Statutes UiO Gaming (${last_archived_date} - ${current_date}).pdf"
|
|
|
|
# Copy and rename the file
|
|
cp "styrende dokumenter/vedtekter/english/active/latex/main.pdf" "styrende dokumenter/vedtekter/english/old/${new_filename}"
|
|
|
|
# Update metadata for archived file
|
|
archived_date=$(extract_english_date_metadata "styrende dokumenter/vedtekter/english/active/latex/front_page.tex")
|
|
current_timestamp=$(date -u +"%Y:%m:%d %H:%M:%S")
|
|
|
|
add_metadata \
|
|
"styrende dokumenter/vedtekter/english/old/${new_filename}" \
|
|
"Statutes of UiO Gaming (${last_archived_date} - ${current_date})" \
|
|
"UiO Gaming" \
|
|
"Statutes of UiO Gaming (${last_archived_date} to ${current_date})" \
|
|
"LaTeX" \
|
|
"GitHub Actions" \
|
|
"$current_timestamp" \
|
|
"$archived_date"
|
|
|
|
echo "Archived English PDF as: ${new_filename}"
|
|
fi
|
|
|
|
- name: Setup LaTeX environment
|
|
uses: xu-cheng/latex-action@v3
|
|
with:
|
|
root_file: |
|
|
styrende dokumenter/vedtekter/nå/latex/main.tex
|
|
styrende dokumenter/vedtekter/english/active/latex/main.tex
|
|
latexmk_use_xelatex: false
|
|
latexmk_use_lualatex: false
|
|
working_directory: |
|
|
styrende dokumenter/vedtekter/nå/latex
|
|
styrende dokumenter/vedtekter/english/active/latex
|
|
latexmk_args: -pdf -interaction=nonstopmode -shell-escape
|
|
extra_system_packages: |
|
|
texlive-lang-norwegian
|
|
texlive-lang-english
|
|
texlive-lang-european
|
|
texlive-fonts-extra
|
|
texlive-latex-extra
|
|
texlive-latex-recommended
|
|
texlive-latex-base
|
|
texlive-binaries
|
|
texlive-extra-utils
|
|
texlive-font-utils
|
|
texlive-formats-extra
|
|
texlive-games
|
|
texlive-humanities
|
|
texlive-latex-bin
|
|
texlive-luatex
|
|
texlive-metapost
|
|
texlive-music
|
|
texlive-pictures
|
|
texlive-plain-generic
|
|
texlive-pstricks
|
|
texlive-publishers
|
|
texlive-science
|
|
texlive-xetex
|
|
|
|
- name: Add PDF metadata
|
|
run: |
|
|
# Install exiftool for metadata manipulation
|
|
sudo apt-get update
|
|
sudo apt-get install -y exiftool
|
|
|
|
# Function to extract date from Norwegian front page
|
|
extract_norwegian_date() {
|
|
local front_page_file="$1"
|
|
# Extract date in format DD.MM.YYYY from "Sist revidert:\\ 21.02.2025"
|
|
local date_line=$(grep -A1 "Sist revidert:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([0-9]{2})\.([0-9]{2})\.([0-9]{4}) ]]; then
|
|
local day="${BASH_REMATCH[1]}"
|
|
local month="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
echo "${year}:${month}:${day} 00:00:00"
|
|
else
|
|
echo "$(date -u +"%Y:%m:%d %H:%M:%S")"
|
|
fi
|
|
}
|
|
|
|
# Function to extract date from English front page
|
|
extract_english_date() {
|
|
local front_page_file="$1"
|
|
# Extract date from "Last changed:\\ February 21, 2025"
|
|
local date_line=$(grep -A1 "Last changed:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([A-Za-z]+)\ ([0-9]{1,2}),\ ([0-9]{4}) ]]; then
|
|
local month_name="${BASH_REMATCH[1]}"
|
|
local day="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
|
|
# Convert month name to number
|
|
case "${month_name,,}" in
|
|
"january") month="01" ;;
|
|
"february") month="02" ;;
|
|
"march") month="03" ;;
|
|
"april") month="04" ;;
|
|
"may") month="05" ;;
|
|
"june") month="06" ;;
|
|
"july") month="07" ;;
|
|
"august") month="08" ;;
|
|
"september") month="09" ;;
|
|
"october") month="10" ;;
|
|
"november") month="11" ;;
|
|
"december") month="12" ;;
|
|
*) month="01" ;;
|
|
esac
|
|
|
|
# Pad day with leading zero if needed
|
|
day=$(printf "%02d" "$day")
|
|
echo "${year}:${month}:${day} 00:00:00"
|
|
else
|
|
echo "$(date -u +"%Y:%m:%d %H:%M:%S")"
|
|
fi
|
|
}
|
|
|
|
# Function to add metadata to PDF
|
|
add_metadata() {
|
|
local pdf_file="$1"
|
|
local title="$2"
|
|
local author="$3"
|
|
local subject="$4"
|
|
local creator="$5"
|
|
local producer="$6"
|
|
local creation_date="$7"
|
|
local modify_date="$8"
|
|
|
|
exiftool -overwrite_original \
|
|
-Title="$title" \
|
|
-Author="$author" \
|
|
-Subject="$subject" \
|
|
-Creator="$creator" \
|
|
-Producer="$producer" \
|
|
-CreateDate="$creation_date" \
|
|
-ModifyDate="$modify_date" \
|
|
-PDF:Title="$title" \
|
|
-PDF:Author="$author" \
|
|
-PDF:Subject="$subject" \
|
|
-PDF:Creator="$creator" \
|
|
-PDF:Producer="$producer" \
|
|
-PDF:CreationDate="$creation_date" \
|
|
-PDF:ModDate="$modify_date" \
|
|
"$pdf_file"
|
|
}
|
|
|
|
# Add metadata to Norwegian statutes
|
|
if [ -f "styrende dokumenter/vedtekter/nå/latex/main.pdf" ]; then
|
|
norwegian_date=$(extract_norwegian_date "styrende dokumenter/vedtekter/nå/latex/front_page.tex")
|
|
current_date=$(date -u +"%Y:%m:%d %H:%M:%S")
|
|
|
|
add_metadata \
|
|
"styrende dokumenter/vedtekter/nå/latex/main.pdf" \
|
|
"Vedtekter for UiO Gaming" \
|
|
"UiO Gaming" \
|
|
"Vedtekter for studentforeningen UiO Gaming" \
|
|
"LaTeX" \
|
|
"GitHub Actions" \
|
|
"$current_date" \
|
|
"$norwegian_date"
|
|
fi
|
|
|
|
# Add metadata to English statutes
|
|
if [ -f "styrende dokumenter/vedtekter/english/active/latex/main.pdf" ]; then
|
|
english_date=$(extract_english_date "styrende dokumenter/vedtekter/english/active/latex/front_page.tex")
|
|
current_date=$(date -u +"%Y:%m:%d %H:%M:%S")
|
|
|
|
add_metadata \
|
|
"styrende dokumenter/vedtekter/english/active/latex/main.pdf" \
|
|
"Statutes of UiO Gaming" \
|
|
"UiO Gaming" \
|
|
"Statutes of the UiO Gaming student association" \
|
|
"LaTeX" \
|
|
"GitHub Actions" \
|
|
"$current_date" \
|
|
"$english_date"
|
|
fi
|
|
|
|
- name: Rename compiled PDFs with date
|
|
run: |
|
|
# Function to extract date from Norwegian front page (for filename)
|
|
extract_norwegian_date_filename() {
|
|
local front_page_file="$1"
|
|
local date_line=$(grep -A1 "Sist revidert:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([0-9]{2})\.([0-9]{2})\.([0-9]{4}) ]]; then
|
|
local day="${BASH_REMATCH[1]}"
|
|
local month="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
echo "${day}.${month}.${year}"
|
|
else
|
|
echo "$(date +"%d.%m.%Y")"
|
|
fi
|
|
}
|
|
|
|
# Function to extract date from English front page (for filename)
|
|
extract_english_date_filename() {
|
|
local front_page_file="$1"
|
|
local date_line=$(grep -A1 "Last changed:" "$front_page_file" | tail -n1 | xargs)
|
|
if [[ "$date_line" =~ ([A-Za-z]+)\ ([0-9]{1,2}),\ ([0-9]{4}) ]]; then
|
|
local month_name="${BASH_REMATCH[1]}"
|
|
local day="${BASH_REMATCH[2]}"
|
|
local year="${BASH_REMATCH[3]}"
|
|
|
|
# Convert month name to number
|
|
case "${month_name,,}" in
|
|
"january") month="01" ;;
|
|
"february") month="02" ;;
|
|
"march") month="03" ;;
|
|
"april") month="04" ;;
|
|
"may") month="05" ;;
|
|
"june") month="06" ;;
|
|
"july") month="07" ;;
|
|
"august") month="08" ;;
|
|
"september") month="09" ;;
|
|
"october") month="10" ;;
|
|
"november") month="11" ;;
|
|
"december") month="12" ;;
|
|
*) month="01" ;;
|
|
esac
|
|
|
|
# Pad day with leading zero if needed
|
|
day=$(printf "%02d" "$day")
|
|
echo "${year}-${month}-${day}"
|
|
else
|
|
echo "$(date +"%Y-%m-%d")"
|
|
fi
|
|
}
|
|
|
|
# Rename Norwegian PDF if it exists
|
|
if [ -f "styrende dokumenter/vedtekter/nå/latex/main.pdf" ]; then
|
|
echo "Renaming Norwegian PDF..."
|
|
|
|
# Get current date from front page
|
|
current_date=$(extract_norwegian_date_filename "styrende dokumenter/vedtekter/nå/latex/front_page.tex")
|
|
|
|
# Create new filename
|
|
new_filename="Vedtekter UiO Gaming (${current_date} - ).pdf"
|
|
|
|
# Move and rename the file
|
|
mv "styrende dokumenter/vedtekter/nå/latex/main.pdf" "styrende dokumenter/vedtekter/nå/${new_filename}"
|
|
|
|
echo "Renamed Norwegian PDF to: ${new_filename}"
|
|
fi
|
|
|
|
# Rename English PDF if it exists
|
|
if [ -f "styrende dokumenter/vedtekter/english/active/latex/main.pdf" ]; then
|
|
echo "Renaming English PDF..."
|
|
|
|
# Get current date from front page
|
|
current_date=$(extract_english_date_filename "styrende dokumenter/vedtekter/english/active/latex/front_page.tex")
|
|
|
|
# Create new filename
|
|
new_filename="Statutes UiO Gaming (${current_date} -).pdf"
|
|
|
|
# Move and rename the file
|
|
mv "styrende dokumenter/vedtekter/english/active/latex/main.pdf" "styrende dokumenter/vedtekter/english/active/${new_filename}"
|
|
|
|
echo "Renamed English PDF to: ${new_filename}"
|
|
fi
|
|
|
|
- name: Upload Norwegian PDF as artifact
|
|
uses: actions/upload-artifact@v4
|
|
with:
|
|
name: vedtekter-norsk
|
|
path: styrende dokumenter/vedtekter/nå/*.pdf
|
|
retention-days: 30
|
|
|
|
- name: Upload English PDF as artifact
|
|
uses: actions/upload-artifact@v4
|
|
with:
|
|
name: vedtekter-english
|
|
path: styrende dokumenter/vedtekter/english/active/*.pdf
|
|
retention-days: 30
|
|
|
|
- name: Commit and push PDFs
|
|
if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master'
|
|
# Only auto-commit on main/master branches to prevent test branch commits
|
|
run: |
|
|
# Configure git
|
|
git config --local user.email "action@github.com"
|
|
git config --local user.name "GitHub Action"
|
|
|
|
# Add PDFs to git (now in the parent directories with date names)
|
|
git add "styrende dokumenter/vedtekter/nå/"*.pdf 2>/dev/null || true
|
|
git add "styrende dokumenter/vedtekter/english/active/"*.pdf 2>/dev/null || true
|
|
|
|
# Add any newly archived files
|
|
git add "styrende dokumenter/vedtekter/utgåtte/"*.pdf 2>/dev/null || true
|
|
git add "styrende dokumenter/vedtekter/english/old/"*.pdf 2>/dev/null || true
|
|
|
|
# Commit if there are changes
|
|
if git diff --staged --quiet; then
|
|
echo "No changes to commit"
|
|
else
|
|
git commit -m "Auto-compile LaTeX documents [skip ci]"
|
|
git push
|
|
fi
|