2023-08-03 16:27:51 +03:00
|
|
|
@echo off
|
|
|
|
|
@REM
|
2023-09-14 11:03:20 +03:00
|
|
|
@REM Copyright (c) 2023 Bosch.IO GmbH and others
|
2023-08-03 16:27:51 +03:00
|
|
|
@REM
|
2023-09-14 11:03:20 +03:00
|
|
|
@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
|
2023-08-03 16:27:51 +03:00
|
|
|
@REM
|
|
|
|
|
|
|
|
|
|
rem This script checks if 'hugo' is installed. Afterwards, the Hugo theme is downloaded.
|
|
|
|
|
|
|
|
|
|
hugo version
|
|
|
|
|
if ERRORLEVEL 1 (
|
|
|
|
|
echo [ERROR] Please install Hugo first before proceeding.
|
|
|
|
|
exit 1
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
echo [INFO]
|
|
|
|
|
echo [INFO] Install Hugo Theme
|
|
|
|
|
set HUGO_THEMES=themes\hugo-material-docs
|
|
|
|
|
|
|
|
|
|
if not exist %HUGO_THEMES%\ (
|
|
|
|
|
git submodule add --force https://github.com/digitalcraftsman/hugo-material-docs.git %HUGO_THEMES%
|
|
|
|
|
echo [INFO] ... done
|
|
|
|
|
) else echo [INFO] ... theme already installed in: %HUGO_THEMES%
|
|
|
|
|
|
|
|
|
|
echo [INFO]
|
|
|
|
|
echo [INFO] Launch the documentation locally by running 'mvn site' (or 'hugo server' in the docs directory),
|
|
|
|
|
echo [INFO] and browse to 'http://localhost:1313/hawkbit/'.
|
