Rename docs to site (#1550)

Signed-off-by: Marinov Avgustin <Avgustin.Marinov@bosch.com>
This commit is contained in:
Avgustin Marinov
2024-01-18 15:31:20 +02:00
committed by GitHub
parent d15bcce8d2
commit f2a4f6f591
106 changed files with 5 additions and 25 deletions

22
site/cleanup.bat Normal file
View File

@@ -0,0 +1,22 @@
@echo off
@REM
@REM Copyright (c) 2023 Bosch.IO GmbH and others
@REM
@REM This program and the accompanying materials are made
@REM available under the terms of the Eclipse Public License 2.0
@REM which is available at https://www.eclipse.org/legal/epl-2.0/
@REM
@REM SPDX-License-Identifier: EPL-2.0
@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