waldek
/
puredata
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'master' into Gwendal

This commit is contained in:
Gwendal Le Vaillant 2019-07-04 22:43:03 +02:00
parent 79a3b12a2b 09eeabb118
commit 2263ca07a6
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
web_server.py
View File

@ -40,6 +40,11 @@ def resources(filename):
return bottle.static_file(filename, root="resources") return bottle.static_file(filename, root="resources")
def main(): def main():
print("pulling latest github push")
status = subprocess.call(["git", "pull", "origin"])
if status is not 0:
print("error pulling froom github...")
exit()
print("generating FR doc now with pandoc") print("generating FR doc now with pandoc")
status = subprocess.call(["pandoc", "puredata_fr.md", "-o", "index_fr.html"]) status = subprocess.call(["pandoc", "puredata_fr.md", "-o", "index_fr.html"])
print("generating EN doc now with pandoc") print("generating EN doc now with pandoc")