From 2f23b6e3f9e01a2db1bedbee87d498fc5b4d7601 Mon Sep 17 00:00:00 2001
From: DanyLE <xsang.le@gmail.com>
Date: Mon, 2 Jan 2023 10:57:03 +0100
Subject: [PATCH] Fix make file

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 202616d..77c1cce 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,6 +30,7 @@ pipeline{
           buildir="build"
           [ -d "$buildir" ] && rm -rf "$buildir"
           export BUILDDIR="$WORKSPACE/$buildir/opt/www/htdocs/os"
+          [ -d "doc" ] && rm -rf doc
           mkdir doc
           export DOCDIR="$WORKSPACE/doc"
           make release