Closed ozgurakgun closed 10 months ago
Calling bash build.sh in the docs directory should build the documentation locally.
bash build.sh
pinging @N-J-Martin, @hz66-404, and Georgii, but I don't know his Github username.
I suggest:
#
I think I did this consistently for the existing bits, but it'll be good if someone takes a look and double-checks!
ok, merged!
Calling
bash build.sh
in the docs directory should build the documentation locally.pinging @N-J-Martin, @hz66-404, and Georgii, but I don't know his Github username.
I suggest:
#
) so they are consistent.I think I did this consistently for the existing bits, but it'll be good if someone takes a look and double-checks!