X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FEXPORT%2Fexportprove%2Fexporttheories.sh;h=0b609bf56d32628f1b7ff54566e9082ce94b211b;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f7993fe62bd484d039cc61cadeee10d86464f8a3;hpb=5cc1f56f25e23f8132b578f9ad46ac9e27979cb4;p=helm.git

diff --git a/helm/EXPORT/exportprove/exporttheories.sh b/helm/EXPORT/exportprove/exporttheories.sh
index f7993fe62..0b609bf56 100755
--- a/helm/EXPORT/exportprove/exporttheories.sh
+++ b/helm/EXPORT/exportprove/exporttheories.sh
@@ -6,5 +6,5 @@ for i in prove/*.v
  do
   basename=$(basename $i | sed s/\\.v//)
   cat $i | ../mktheory.pl "prove/$basename" > \
-   examples/prove/$1/$basename.theory.xml
+   examples/Bologna/prove/$1/$basename.theory.xml
  done