generate.sh


1
2
3
4
5
6
7
8
9
10
11

#!/usr/bin/env sh

echo "Generate html"
mandoc -T html -O style=./style.css website.7 > website.7.html
echo "Adding Gifs"
sed 's|</body>|<img src="https://cyber.dabamos.de/88x31/delete-twitter.gif" alt="delete twitter, make a neocities!"/>\n<img src="https://cyber.dabamos.de/88x31/antinazi.gif" alt="No nazis! No fascists! No racism!"/>\n<img src="https://cyber.dabamos.de/88x31/rainbow_bev.gif" alt="Pride flag"/>\n</body>|g' website.7.html > website.7.html.tmp
mv website.7.html.tmp website.7.html
echo "Replace date with license"
sed 's|<td class="foot-date">January 15, 2023</td>|<td class="foot-date">CC BY-SA 4.0</td>|g' website.7.html > website.7.html.tmp
mv website.7.html.tmp website.7.html
echo "Succesfully generated website"