X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FREADME;h=1e7b2af63a49605db38b175da1d407d253b5ed71;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=3a7b77d677e981991f5eec58f143bef8ee0d032e;hpb=88977b2d546e547e23b046792fe2ad8f6ff192a4;p=helm.git

diff --git a/helm/software/helena/README b/helm/software/helena/README
index 3a7b77d67..1e7b2af63 100644
--- 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-cc0 export-lyp
+  export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3 export-pts export-lyp
 
 * Type "make profile.opt" or "make profile.byte"
   to validate the "grundlagen" 31 times (two runs each time)