This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.
2020-05-06 03:20:19 +02:00
|
|
|
#! /bin/sh
|
|
|
|
|
# Gather the mom files from current dir and compile them into ONE pdf file, using my compiler script
|
|
|
|
|
# /!\ files must be names 0_file0, 1_file1... in order to be processed correctly
|
|
|
|
|
|
|
|
|
|
# if the file already exists, delete it
|
2020-05-20 17:03:00 +02:00
|
|
|
[ -e rendu.mom ] && rm rendu.mom
|
2020-05-06 03:20:19 +02:00
|
|
|
|
2020-05-20 17:03:00 +02:00
|
|
|
list=$(ls *.mom)
|
2020-05-06 03:20:19 +02:00
|
|
|
|
|
|
|
|
touch rendu.mom
|
|
|
|
|
|
2020-05-20 17:03:00 +02:00
|
|
|
for doc in "$list"; do
|
2020-05-06 03:20:19 +02:00
|
|
|
cat "$doc" >> rendu.mom
|
|
|
|
|
echo ".COLLATE" >> rendu.mom
|
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
# Remove the last ".COLLATE"
|
|
|
|
|
sed -i '$ d' rendu.mom
|
|
|
|
|
|
|
|
|
|
# Compile it
|
|
|
|
|
compiler rendu.mom
|
