i wonder if doc gets generated

2026-02-03 23:43:08 +09:00 · 2026-02-03 23:43:08 +09:00 · 282283609c
commit 282283609c
parent 12f7312d40
1 changed files with 3 additions and 6 deletions
--- a/9
+++ b/9
@ -5,12 +5,9 @@ pipeline {
 	stages {
 		stage("Build document") {
 			steps {
-				sh("echo Testing testing...")
-			}
-			post {
-				always {
-					notifyDiscord()
-				}
+				sh("doxygen")
+				sh("rm -rf /var/www/milsko-doxygen")
+				sh("mv doxygen/html /var/www/milsko-doxygen")
 			}
 		}
 	}