From 88d578367e6dddadee82e941afde23c13a4ea272 Mon Sep 17 00:00:00 2001
From: Frank Steinberg <steinberg@ibr.cs.tu-bs.de>
Date: Tue, 8 Oct 2019 15:26:23 +0200
Subject: [PATCH] Minor.
---
web/save.cgi | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/web/save.cgi b/web/save.cgi
index 7c145e7..ad0a7ee 100755
--- a/web/save.cgi
+++ b/web/save.cgi
@@ -114,14 +114,18 @@ if os.path.isfile(translatedfilename):
log("updating translation file %s/%s.xml based on snippet" % (LANG, id))
cmd = "xsltproc --stringparam snippet %s %s/xsl/bjcp-2015-styleguide-merge.xsl %s > %s.tmp ; mv %s.tmp %s" % (snippetfilename, REPODIR, translatedfilename, translatedfilename, translatedfilename, translatedfilename)
os.system(cmd)
+ log("updating all files (may take a minute)"
cmd = "make -C %s && cp %s/bjcp-2015-styleguide-de-edit.html %s/bjcp-2015-styleguide-de-edit.html" % (REPODIR, REPODIR, DIR)
os.system(cmd)
+ log("done")
elif os.path.isfile(origfilename):
log("creating new translation file %s/%s.xml from orig/%s.xml and snippet" % (LANG, id, id))
cmd = "xsltproc --stringparam snippet %s %s/xsl/bjcp-2015-styleguide-merge.xsl %s > %s" % (snippetfilename, REPODIR, origfilename, translatedfilename)
os.system(cmd)
+ log("updating all files (may take a minute)"
cmd = "make -C %s && cp %s/bjcp-2015-styleguide-de-edit.html %s/bjcp-2015-styleguide-de-edit.html" % (REPODIR, REPODIR, DIR)
os.system(cmd)
+ log("done")
else:
log("neither orig file %s nor translated file %s for id %s exists" % (origfilename, translatedfilename, id))
--
GitLab