2022-05-16 22:19:20 +02:00
|
|
|
#!zsh
|
|
|
|
|
|
2022-02-28 00:26:28 +01:00
|
|
|
# Copy repository readme here to be used as a cover page
|
2022-05-16 22:19:20 +02:00
|
|
|
tail ../../readme.md -n +2 > index.md
|
2022-02-28 00:26:28 +01:00
|
|
|
|
|
|
|
|
# Run doxygen
|
|
|
|
|
doxygen doxyfig
|
|
|
|
|
|
|
|
|
|
# Cleanup index.md
|
|
|
|
|
rm -f index.md
|
|
|
|
|
|
