1 9c1f72c2 2024-05-06 continue toc_file=$(mktemp)
 2 9c1f72c2 2024-05-06 continue 
 3 9c1f72c2 2024-05-06 continue for file_name in $(ls pages)
 4 9c1f72c2 2024-05-06 continue do
 5 9c1f72c2 2024-05-06 continue     echo "=> $file_name $(head -n 1 pages/$file_name | sed 's/^## *//')" >> $toc_file
 6 9c1f72c2 2024-05-06 continue done
 7 9c1f72c2 2024-05-06 continue echo "" >> $toc_file
 8 9c1f72c2 2024-05-06 continue 
 9 9c1f72c2 2024-05-06 continue if [ ! -d generated ]
10 9c1f72c2 2024-05-06 continue then
11 9c1f72c2 2024-05-06 continue     mkdir generated
12 9c1f72c2 2024-05-06 continue fi
13 9c1f72c2 2024-05-06 continue 
14 9c1f72c2 2024-05-06 continue for file_name in $(ls pages)
15 9c1f72c2 2024-05-06 continue do
16 9c1f72c2 2024-05-06 continue     cat template/header.gmi > generated/$file_name
17 9c1f72c2 2024-05-06 continue     cat $toc_file >> generated/$file_name
18 9c1f72c2 2024-05-06 continue     cat pages/$file_name >> generated/$file_name
19 9c1f72c2 2024-05-06 continue     cat template/footer.gmi >> generated/$file_name
20 9c1f72c2 2024-05-06 continue done
21 9c1f72c2 2024-05-06 continue 
22 9c1f72c2 2024-05-06 continue echo "Files successfully generated"
23 9c1f72c2 2024-05-06 continue ls generated/
24 9c1f72c2 2024-05-06 continue 
25 9c1f72c2 2024-05-06 continue rm $toc_file