chore: Prepare merge of postgrest-docs into postgrest main repo

This avoids some merge conflicts to allow git blame to detect renames properly.
This commit is contained in:
Wolfgang Walther
2024-02-17 13:43:50 +01:00
parent 1b855d805e
commit 4954859d68
19 changed files with 21 additions and 16 deletions
+18
View File
@@ -0,0 +1,18 @@
#!/usr/bin/env python
import sys
from livereload import Server, shell
from subprocess import call
if len(sys.argv) == 1:
locale = 'default'
build = './build.sh'
else:
locale = sys.argv[1]
build = f'./build.sh {locale}'
call(build, shell=True)
server = Server()
server.watch('**/*.rst', shell(build))
server.watch(f'locales/{locale}/LC_MESSAGES/*.po', shell(build))
server.serve(root=f'_build/html/{locale}')