From 282283609c01ca5e1dc0c901de4a59875daa91d3 Mon Sep 17 00:00:00 2001
From: NishiOwO <nishi@nishi.boats>
Date: Tue, 3 Feb 2026 23:43:08 +0900
Subject: [PATCH] i wonder if doc gets generated

---
 Jenkinsfile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 719f146..8a51a78 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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")
 			}
 		}
 	}