file rename

ddmitov · Sep 28, 2023 · ce60447 · ce60447
1 parent efa276c
commit ce60447
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/...hista/javascript/epidoc_text_converter.js → .../javascript/leiden_to_epidoc_converter.js b/...hista/javascript/epidoc_text_converter.js → .../javascript/leiden_to_epidoc_converter.js
diff --git a/index.html b/index.html
@@ -18,11 +18,11 @@
     <script src="bootstrap/javascript/bootstrap.bundle.min.js" charset="utf-8"></script>
 
     <link rel="stylesheet" type="text/css" href="epigraphista/css/epigraphista.css" media="all">
-    <script src="epigraphista/javascript/epidoc_text_converter.js" charset="utf-8"></script>
     <script src="epigraphista/javascript/epidoc_text_highlighter.js" charset="utf-8"></script>
     <script src="epigraphista/javascript/epidoc_xml_composer.js" charset="utf-8"></script>
     <script src="epigraphista/javascript/layout_functions.js" charset="utf-8"></script>
     <script src="epigraphista/javascript/layout_initialization.js" charset="utf-8"></script>
+    <script src="epigraphista/javascript/leiden_to_epidoc_converter.js" charset="utf-8"></script>
 
   </head>
 
@@ -103,7 +103,6 @@
 
     </div>
 
-
     <template id="button-template">
       <input
         type="button"