--- a/thys/README	Sun Feb 26 00:12:18 2017 +0000
+++ b/thys/README	Sun Feb 26 23:46:22 2017 +0000
@@ -10,6 +10,8 @@
 
   isabelle build -c -v -d . Paper
 
+  isabelle build -c -v -d . Journal
+
 Othe directories are:
 =====================