2022-09-24 18:07:46 -04:00
|
|
|
#!/bin/bash
|
2022-10-04 17:42:16 -04:00
|
|
|
# render.sh: part of the tape-and-string framework.
|
2023-01-21 18:40:35 -05:00
|
|
|
# v2.0
|
2023-01-21 18:23:04 -05:00
|
|
|
cd ..
|
2023-01-21 18:40:35 -05:00
|
|
|
files=(`find -not -path '_*'`)
|
|
|
|
for i in ${files[@]}; do
|
|
|
|
if test -d $i; then
|
2023-02-01 11:04:04 -05:00
|
|
|
if test -d ../$i; then
|
|
|
|
mkdir -p ../$i
|
|
|
|
else continue
|
|
|
|
fi
|
2023-01-21 18:40:35 -05:00
|
|
|
elif test -f $i; then
|
2023-02-01 11:04:04 -05:00
|
|
|
tape $i | m4 -DTITLE=`${prog[title]}` ${prog[m4]} < $i ../$i
|
2023-01-21 18:40:35 -05:00
|
|
|
else
|
|
|
|
echo "Skipping $i, unknown file type"
|
|
|
|
fi
|
2022-09-24 18:07:46 -04:00
|
|
|
done
|