helena: updated prolog exportation to ld3 and ALT-0/PTS

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

diff --git a/helm/software/helena/README b/helm/software/helena/README
index 3a7b77d677e981991f5eec58f143bef8ee0d032e..1e7b2af63a49605db38b175da1d407d253b5ed71 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-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)