blob: dd8818fc5c9923a1867b034a6a03adec1594f1ae (
plain) (
blame)
1
2
3
4
5
6
7
|
#! /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
|