From 9f28616dfd1cc425c5013937bab729217b7be2e6 Mon Sep 17 00:00:00 2001
From: piernov <piernov@piernov.org>
Date: Sun, 8 May 2016 20:45:40 +0200
Subject: Add build_doc.sh script + generated phpdoc

---
 doc/phpdoc/js/prettify/lang-tex.js | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 doc/phpdoc/js/prettify/lang-tex.js

(limited to 'doc/phpdoc/js/prettify/lang-tex.js')

diff --git a/doc/phpdoc/js/prettify/lang-tex.js b/doc/phpdoc/js/prettify/lang-tex.js
new file mode 100644
index 0000000..ce96fbb
--- /dev/null
+++ b/doc/phpdoc/js/prettify/lang-tex.js
@@ -0,0 +1 @@
+PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\r \xa0]+/,null,"\t\n\r Â\xa0"],["com",/^%[^\n\r]*/,null,"%"]],[["kwd",/^\\[@-Za-z]+/],["kwd",/^\\./],["typ",/^[$&]/],["lit",/[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],["pun",/^[()=[\]{}]+/]]),["latex","tex"]);
-- 
cgit v1.2.3-70-g09d2