Move scripts

2023-03-02 18:10:19 +02:00
parent 0f5826893c
commit 58a27194bc
2 changed files with 6 additions and 0 deletions
--- a/scripts/gen-docs.sh
+++ b/scripts/gen-docs.sh
@@ -0,0 +1,20 @@
+#!/usr/bin/env sh
+# generates docs
+
+pushd ..
+
+pushd src/robot_controller/
+doxygen
+popd
+
+pushd src/lite6_controller/
+doxygen
+popd
+
+pushd src/axidraw_controller/
+doxygen
+popd
+
+make html
+
+