diff options
| author | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-08-03 18:08:22 +0200 |
|---|---|---|
| committer | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-08-03 18:08:22 +0200 |
| commit | d4c8bfd6f9fc4617b8abf7296cf65bcf5f7cc395 (patch) | |
| tree | 8ae948332bcd44edc7c48e2d0698326dde6a66f2 /build/latex/scripts/extract_text_from_all.sh | |
| parent | chore(templates): Use new common files (diff) | |
| download | flake-templates-d4c8bfd6f9fc4617b8abf7296cf65bcf5f7cc395.tar.gz flake-templates-d4c8bfd6f9fc4617b8abf7296cf65bcf5f7cc395.zip | |
chore(build): Regenerate
Diffstat (limited to 'build/latex/scripts/extract_text_from_all.sh')
| -rwxr-xr-x | build/latex/scripts/extract_text_from_all.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/build/latex/scripts/extract_text_from_all.sh b/build/latex/scripts/extract_text_from_all.sh deleted file mode 100755 index 11b2ac4..0000000 --- a/build/latex/scripts/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 |