Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Windows implementation to generate documentation #135

Merged
merged 1 commit into from
Feb 15, 2022
Merged

Windows implementation to generate documentation #135

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 14 additions & 6 deletions doc/user_manual/make_docs.bat
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,16 @@
ECHO Starting to compile manual...
chmod u+x script/copy_tex.sh
cd script
copy_tex.sh
IF EXIST build\ (
ECHO build folder already exists
)
ELSE (
ECHO creating build folder
MD build
)
ECHO copying .tex files to build folder
cd ..
COPY user_manual\src\HERON_user_manual.tex %cd%\user_manual\build\HERON_user_manual.tex
COPY user_manual\src\HERON_user_manual.bib %cd%\user_manual\build\HERON_user_manual.bib
cd user_manual
python script/generate_user_manual.py
cd build
pdflatex -interaction=nonstopmode HERON_user_manual.tex
Expand All @@ -12,10 +20,10 @@ cd build
pdflatex -interaction=nonstopmode HERON_user_manual.tex
pdflatex -interaction=nonstopmode HERON_user_manual.tex
cd ..
cp -f build/HERON_user_manual.pdf pdf/
ECHO moving user manual to pdf folder
COPY /Y build\HERON_user_manual.pdf pdf\HERON_user_manual.pdf
ECHO User manual build complete.
ECHO Cleaning build
cd ..
rm -rf build
RD /S/Q build
ECHO Done