From 419533c8bc6714abaeb8a0ccf6d5da685effd20d Mon Sep 17 00:00:00 2001 From: David Soulayrol Date: Sun, 4 Feb 2024 16:05:30 +0100 Subject: [PATCH] =?UTF-8?q?Groupement=20des=20documents=20g=C3=A9n=C3=A9r?= =?UTF-8?q?=C3=A9s.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .gitignore | 1 + Makefile.common | 1 + generate-all.sh | 10 ++++++++++ 3 files changed, 12 insertions(+) create mode 100755 generate-all.sh diff --git a/.gitignore b/.gitignore index c8a9c22..e1be029 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ .auctex-auto/ build/ +/documents/ diff --git a/Makefile.common b/Makefile.common index 0ec6670..5ab1fdc 100644 --- a/Makefile.common +++ b/Makefile.common @@ -7,6 +7,7 @@ DOCUMENTS := \ $(patsubst build/%.tex,build/%_notes.pdf,$(SOURCES)) all: $(DOCUMENTS) + mkdir -p ../documents && mv $^ ../documents build: mkdir build diff --git a/generate-all.sh b/generate-all.sh new file mode 100755 index 0000000..13f172f --- /dev/null +++ b/generate-all.sh @@ -0,0 +1,10 @@ +#!/usr/bin/env bash + +REAL_COMMAND=$(readlink -f "$0") + +cd "$(dirname "$REAL_COMMAND")" || exit 1 + +find . -type f -name Makefile -exec dirname -z "{}" \; \ + | sort -zu \ + | sed -z 's/$/\n/' \ + | while read -r d; do cd "$d"; make all; cd -; done