update in helena

[helm.git] / helm / software / helena / README

diff --git a/helm/software/helena/README b/helm/software/helena/README
index 37f553a25541c302e6993356d2aa72713f4bd258..3a7b77d677e981991f5eec58f143bef8ee0d032e 100644 (file)
--- a/helm/software/helena/README
+++ b/helm/software/helena/README
@@ -43,7 +43,7 @@ TYPE       enable option -t (if unset, -t is disabled)
   xml-si xml-si-v3 xml xml-v3
   
 * Set at least F="MANAGER QUOTE" for targets:
-  export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3
+  export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3 export-cc0 export-lyp
 
 * Type "make profile.opt" or "make profile.byte"
   to validate the "grundlagen" 31 times (two runs each time)