diff --git a/annogen.py b/annogen.py index 0fc71ca3612f05085c8aa85662469690a4095ece..806ff97df4272cbc2442230497788dbfa035a2d1 100755 --- a/annogen.py +++ b/annogen.py @@ -1175,7 +1175,8 @@ android_src = r""" """+additional_js_instructions+r""" You can also set ANNOGEN_ANDROID_URLS to a whitespace-separated list of URL prefixes to - offer to be a browser for. For example, + offer to be a browser for (when a matching URL + is opened by another application). For example, ANNOGEN_ANDROID_URLS="http://example.com http://example.org/documents" */ diff --git a/git-sync.sh b/git-sync.sh index 5a9ee008bade6984745b89af586385fdd0f369b5..eebfa90bea473d39e5c6fa8bb6afa2620e5c9835 100755 --- a/git-sync.sh +++ b/git-sync.sh @@ -2,4 +2,4 @@ wget -N http://people.ds.cam.ac.uk/ssb22/adjuster/adjuster.py wget -N http://people.ds.cam.ac.uk/ssb22/adjuster/annogen.py wget -N http://people.ds.cam.ac.uk/ssb22/adjuster/termlayout.py -git commit -am update && git push +git commit -am "Update $(echo $(git diff|grep '^--- a/'|sed -e 's,^--- a/,,')|sed -e 's/ /, /g' -e 's/git-sync.sh/git-sync script/' -e 's/adjuster.py/Web Adjuster/' -e 's/annogen.py/Annotator Generator/' -e 's/termlayout.py/TermLayout/')" && git push