felix-lang
diff --git a/Diff for: ‎GNUmakefile
+2 b/Diff for: ‎GNUmakefile
+2
diff --git a/Diff for: ‎embedc.fdoc
+1-1 b/Diff for: ‎embedc.fdoc
+1-1
diff --git a/Diff for: ‎corout.html renamed to ‎web/corout.html b/Diff for: ‎corout.html renamed to ‎web/corout.html
diff --git a/Diff for: ‎embedc.html renamed to ‎web/embedc.html
+4-4 b/Diff for: ‎embedc.html renamed to ‎web/embedc.html
+4-4
@@ -7,6 +7,8 @@ tut:
 	for file in /Users/skaller/felix/src/web/tut/*.fdoc; do \
 	  env DYLD_LIBRARY_PATH=${LD_LIBRARY_PATH} flx_pretty --outdir=web "$${file}"; \
 	  done
+	for file in web/*.html; do sed -i -e s/fdoc/html/g ${file}; done
+	rm web/*.html-e
 
 extract:
 	flx_iscr embedc.fdoc
 
@@ -117,7 +117,7 @@ cannot be defined in an @{instance}.
 
 @h1 TeX symbols
 You may have notices in the @{Eq} type class that there is a 
-function with the weird name @{\ne}. Which shown as $\eq$ in TeX.
+function with the weird name @{\ne}. Which shown as \(\neq\) in TeX.
 
 
 
@@ -36,16 +36,16 @@
 .caveat { background-color:#FF8080; color:black; }
 </style>
 
+<script type="text/javascript" async
+  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=TeX-MML-AM_CHTML">
+</script>
 <script type="text/x-mathjax-config">
   MathJax.Hub.Config({
     tex2jax: {
         skipTags: ["script","noscript","style","textarea"]
     }
   });
 </script>
-<script type="text/javascript"
-  src="http://cdn.mathjax.org/mathjax/latest/MathJax.jsconfig=TeX-AMS-MML_HTMLorMML">
-</script>
 <title>Embedding C++</title></head><body>
 <style>
 body {margin:3%; font-family: sans-serif; }
@@ -498,7 +498,7 @@ <h1 id='Basics_h'><img src='/share/src/web/images/minus.gif' id='Basics' onclick
 cannot be defined in an <code>instance</code>.
 </p></div><h1 id='TeX_symbols_h'><img src='/share/src/web/images/minus.gif' id='TeX symbols' onclick='toggle(this,"TeX_symbols_d")' alt='+'/> 3 TeX symbols</h1><div id='TeX_symbols_d' style='display:block'>
 <p>You may have notices in the <code>Eq</code> type class that there is a 
-function with the weird name <code>\ne</code>. Which shown as $\eq$ in TeX.
+function with the weird name <code>\ne</code>. Which shown as \(\neq\) in TeX.
 </p></div><!--Main Content Body End-->
 
           </div> <!-- rightpanel contents end -->