# HG changeset patch
# User wenzelm
# Date 1544104269 -3600
# Node ID f0b85c8aec46c24ab67adb83a8eee3e096500e72
# Parent  c84ff2f2d8a3aa167c63a0764f9c2e5a96127b5e
proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);

diff -r c84ff2f2d8a3 -r f0b85c8aec46 etc/settings
--- a/etc/settings	Thu Dec 06 14:47:04 2018 +0100
+++ b/etc/settings	Thu Dec 06 14:51:09 2018 +0100
@@ -110,7 +110,7 @@
 # Where to look for docs (multiple dirs separated by ':').
 ISABELLE_DOCS="$ISABELLE_HOME/doc"
 
-ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:src/Tools/jEdit/README:README_REPOSITORY"
+ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY"
 ISABELLE_DOCS_EXAMPLES="~~/src/HOL/ex/Seq.thy:~~/src/HOL/ex/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/HOL/Isar_Examples/Drinker.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML"
 
 # "open" within desktop environment (potentially asynchronous)