# HG changeset patch
# User wenzelm
# Date 1498821564 -7200
# Node ID ae814012b95f19576a35e382d588519561cb1414
# Parent  d3b6e5e47015932037e5991c543379e04af02c0b
prefer explicit link;

diff -r d3b6e5e47015 -r ae814012b95f src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Thu Jun 29 23:06:20 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Fri Jun 30 13:19:24 2017 +0200
@@ -7,7 +7,7 @@
   * <http://isabelle.in.tum.de/devel/release_snapshot>
   * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
 
-![[Isabelle/VSCode screenshot]](isabelle_vscode.png)
+![[Isabelle/VSCode screenshot]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png)
 
 
 ## Prerequisites ##
diff -r d3b6e5e47015 -r ae814012b95f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 29 23:06:20 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Fri Jun 30 13:19:24 2017 +0200
@@ -10,7 +10,7 @@
         "document preparation"
     ],
     "icon": "isabelle.png",
-    "version": "0.18.0",
+    "version": "0.19.0",
     "publisher": "makarius",
     "license": "MIT",
     "repository": {
diff -r d3b6e5e47015 -r ae814012b95f src/Tools/VSCode/src/build_vscode.scala
--- a/src/Tools/VSCode/src/build_vscode.scala	Thu Jun 29 23:06:20 2017 +0200
+++ b/src/Tools/VSCode/src/build_vscode.scala	Fri Jun 30 13:19:24 2017 +0200
@@ -36,10 +36,7 @@
     progress.echo(output_path.implode)
 
     progress.bash(
-      "npm install && npm update --dev && vsce " +
-      (if (publish)
-        "publish --baseImagesUrl http://isabelle.in.tum.de/repos/isabelle/raw-file/tip/src/Tools/VSCode/extension"
-       else "package"),
+      "npm install && npm update --dev && vsce " + (if (publish) "publish" else "package"),
       cwd = extension_dir.file, echo = true).check
   }