Admin/components/README
changeset 71335 2afdd24ff707
parent 69429 dc5fbcb07c7b
--- 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).