common/scripts/latex/extract_text_from_all.sh


1
2
3
4
5
6
7
8

#! /usr/bin/env sh

grep 'INPUT ./' ./build/main.fls | uniq | sed 's/INPUT //' | while read -r file; do
    if ! [ "$(basename "$file")" = preamble.tex ] && ! [ "$(basename "$file")" = gymnasium.png ]; then
        printf "\n%% Filename: %s\n" "$file"
        grep -v '^\s*%' "$file"
    fi
done