diff options
Diffstat (limited to 'common/scripts/latex')
| -rwxr-xr-x | common/scripts/latex/extract_text_from_all.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/common/scripts/latex/extract_text_from_all.sh b/common/scripts/latex/extract_text_from_all.sh deleted file mode 100755 index 11b2ac4..0000000 --- a/common/scripts/latex/extract_text_from_all.sh +++ /dev/null @@ -1,8 +0,0 @@ -#! /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 |