Changes to utf8MacroTable.js.

[helm.git] / matitaB / matita / index.html
diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html

index 3daf481d07ceafbf3863a9d3bcd11e87775ec75c..75912b5786b1114e7e82d4acdfbb2ee384d49a27 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -1,7 +1,7 @@
  <html>
  
  <head>
-<script type="text/javascript" src="Utf8MacroTable.js"></script>
+<script type="text/javascript" src="utf8MacroTable.js"></script>
  <script type="text/javascript" src="matitaweb.js"></script>
  <link rel="stylesheet" type="text/css" href="matitaweb.css"/>