From 01dc9f1d1f30d5ab5485a695c29d4f5a1fc1d6f8 Mon Sep 17 00:00:00 2001 From: Leonetienne Date: Wed, 1 Jun 2022 21:03:58 +0200 Subject: [PATCH] Switch to makefile for doxygen --- Hazelnupp/doxygen/Makefile | 10 ++++++++++ Hazelnupp/doxygen/doxyrun.sh | 10 ---------- 2 files changed, 10 insertions(+), 10 deletions(-) create mode 100644 Hazelnupp/doxygen/Makefile delete mode 100755 Hazelnupp/doxygen/doxyrun.sh diff --git a/Hazelnupp/doxygen/Makefile b/Hazelnupp/doxygen/Makefile new file mode 100644 index 0000000..ca92cfa --- /dev/null +++ b/Hazelnupp/doxygen/Makefile @@ -0,0 +1,10 @@ +all: + # Copy all but the header of the readme here + tail ../../readme.md -n +5 > index.md + # + # Run doxygen + doxygen doxyfig + # + # Cleanup index.md + rm index.md + diff --git a/Hazelnupp/doxygen/doxyrun.sh b/Hazelnupp/doxygen/doxyrun.sh deleted file mode 100755 index e525e5d..0000000 --- a/Hazelnupp/doxygen/doxyrun.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!zsh - -# Copy cut readme.md from root -tail ../../readme.md -n +5 > index.md - -# Run doxygen -sudo doxygen doxyfig - -# Delete index afterwards to prevent people from editing it -rm -f index.md