From aa1881d9d41fa7ee5b649b835379f6f60fb2240c Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Wed, 5 Jun 2024 15:38:58 +0200
Subject: chore: Init

---
 scripts/extract_text_from_all.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 scripts/extract_text_from_all.sh

(limited to 'scripts/extract_text_from_all.sh')

diff --git a/scripts/extract_text_from_all.sh b/scripts/extract_text_from_all.sh
new file mode 100755
index 0000000..11b2ac4
--- /dev/null
+++ b/scripts/extract_text_from_all.sh
@@ -0,0 +1,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
-- 
cgit 1.4.1