X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2Ffix_rdf.pl;fp=helm%2Fmetadata%2Fcreate_V7_mowgli%2Ffix_rdf.pl;h=3d52c0fc90294bc6e97dcb54c06d27e8935dab60;hb=39bbffb9b48d93517cd0de07ee677eba1dd94576;hp=6d17383b3615ddd12b159716cad6dbeb608abcd2;hpb=36a85ffd9542d5a726d154cd8bf37d417da2cf88;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/fix_rdf.pl b/helm/metadata/create_V7_mowgli/fix_rdf.pl
index 6d17383b3..3d52c0fc9 100755
--- a/helm/metadata/create_V7_mowgli/fix_rdf.pl
+++ b/helm/metadata/create_V7_mowgli/fix_rdf.pl
@@ -17,7 +17,11 @@ print HEADER <<EOT;
 EOT
 close(HEADER);
 
-system("cat $filename >> $outputfile");
+$quotedfilename = $filename;
+$quotedfilename =~ s/'/\\'/g;
+$quotedoutputfile = $outputfile;
+$quotedoutputfile =~ s/'/\\'/g;
+system("cat $quotedfilename >> $quotedoutputfile");
 
 open(FOOTER,">>$outputfile");
 print FOOTER <<EOT;