Fix doc builds on windows (#1409)

Signed-off-by: Marinov Avgustin <Avgustin.Marinov@bosch.com>
This commit is contained in:
Avgustin Marinov
2023-08-03 16:27:51 +03:00
committed by GitHub
parent b35f45aabc
commit 4590d004f9
5 changed files with 92 additions and 5 deletions

23
docs/cleanup.bat Normal file
View File

@@ -0,0 +1,23 @@
@echo off
@REM
@REM Copyright (c) 2018 Bosch Software Innovations GmbH and others.
@REM
@REM All rights reserved. This program and the accompanying materials
@REM are made available under the terms of the Eclipse Public License v1.0
@REM which accompanies this distribution, and is available at
@REM http://www.eclipse.org/legal/epl-v10.html
@REM
rem This script is used to clean up the previously generated or downloaded files.
echo [INFO] Remove Hugo Theme
rmdir /Q /S themes resources public
echo [INFO] ... done
echo [INFO]
echo [INFO] Remove generated REST docs
del /Q content\rest-api\*.html
echo [INFO] ... done