Rename katex.less.css to just katex.css

So that a webapp `make clean` doesn't delete it. Auditors: emily
fleomikn · Aug 28, 2013 · 756d839 · 756d839
1 parent b728eb6
commit 756d839
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/khan-exercise.js b/khan-exercise.js
@@ -246,7 +246,7 @@ var Khan = (function() {
 
             addLink("css/khan-site.css");
             addLink("css/khan-exercise.css");
-            addLink("local-only/katex/katex.less.css");
+            addLink("local-only/katex/katex.css");
             addLink("local-only/katex/fonts/fonts.css");
         })();
     }

diff --git a/local-only/katex/katex.less.css → local-only/katex/katex.css b/local-only/katex/katex.less.css → local-only/katex/katex.css