development to main #125

Merged
mik-tf merged 3 commits from development into main 2024-07-11 21:12:37 +00:00
9 changed files with 3 additions and 3 deletions
Showing only changes of commit c51eaf37bd - Show all commits

View File

@ -1,5 +1,5 @@
#!/bin/bash #!/bin/bash
set -ex set -ex
export NAME=developers export NAME=devs
hero mdbook -u https://git.ourworld.tf/tfgrid/info_tfgrid/src/branch/manual/heroscript/$NAME hero mdbook -u https://git.ourworld.tf/tfgrid/info_tfgrid/src/branch/manual/heroscript/$NAME
rsync -rv ~/hero/www/info/$NAME/ root@info.ourworld.tf:/root/hero/www/info/$NAME/ rsync -rv ~/hero/www/info/$NAME/ root@info.ourworld.tf:/root/hero/www/info/$NAME/

View File

@ -1,7 +1,7 @@
```js ```js
!!book.generate name:'developers' title:'ThreeFold Developers Manual' printbook:false foldlevel:0 !!book.generate name:'devs' title:'ThreeFold Developers Manual' printbook:false foldlevel:0
url:'https://git.ourworld.tf/tfgrid/info_tfgrid/src/branch/main/books/developers' url:'https://git.ourworld.tf/tfgrid/info_tfgrid/src/branch/main/books/devs'
!!doctree.add !!doctree.add
url:'https://git.ourworld.tf/tfgrid/info_tfgrid/src/branch/main/collections/manual' url:'https://git.ourworld.tf/tfgrid/info_tfgrid/src/branch/main/collections/manual'