--- a/Admin/components/README Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/components/README Sun Dec 22 16:12:13 2019 +0100
@@ -5,7 +5,7 @@
---------------
* ensure that Isabelle/Scala/SSH can connect to the host specified via
- system option "isabelle_components_server"; this may require to install
+ system option `isabelle_components_server`; this may require to install
an unencrypted ssh host key as follows:
$ ssh-keyscan -t rsa lxbroy10.informatik.tu-muenchen.de >> ~/.ssh/known_hosts
@@ -57,22 +57,22 @@
nonfree components should omit "read" mode for the Unix group/other;
regular components should be world-readable.
-The file Admin/components/components.sha1 contains SHA1 identifiers
+The file `Admin/components/components.sha1` contains SHA1 identifiers
within the Isabelle repository, for integrity checking of the archives
that are exposed to the public file-system. The command-line tool
-"isabelle build_components" maintains these hash-keys automatically.
+`isabelle build_components` maintains these hash-keys automatically.
Unpacked copy
-------------
-A second unpacked copy is provided in /home/isabelle/contrib/. This allows
+A second unpacked copy is provided in `/home/isabelle/contrib/`. This allows
users and administrative services within the TUM network to activate arbitrary
snapshots of the repository with all standard components being available,
without extra copying or unpacking of the authentic archives. The
isabelle_cronjob does this routinely: it will break if the unpacked version is
omitted.
-The command-line tool "isabelle build_components -P" takes care of uploading
+The command-line tool `isabelle build_components -P` takes care of uploading
the .tar.gz archive and unpacking it, unless it is a special component (e.g.
for multiplatform application bundling).