Python 対応

tatyam-prime · Jun 1, 2024 · e7577f0 · e7577f0
1 parent 67b3266
commit e7577f0
Show file tree

Hide file tree

Showing 6 changed files with 329 additions and 7 deletions.
diff --git a/.verify-helper/docs/static/notebook.html b/.verify-helper/docs/static/notebook.html
diff --git a/.verify-helper/docs/static/notebook.pdf b/.verify-helper/docs/static/notebook.pdf
diff --git a/build/build.js b/build/build.js
@@ -14,6 +14,7 @@ const prism = require('prismjs');
 const loadLanguages = require('prismjs/components/');
 loadLanguages("c");
 loadLanguages("cpp");
+loadLanguages("python");
 loadLanguages("sh");
 const cp = require('child_process');
 const marked = require('marked');
@@ -50,12 +51,15 @@ function addCode(folder, filename) {
         if (filename.endsWith(".cpp") || filename.endsWith(".hpp")) {
             return prism.highlight(text, prism.languages.cpp, "cpp");
         }
+        if (filename.endsWith(".py")) {
+            return prism.highlight(text, prism.languages.python, "python");
+        }
         if (filename.endsWith(".sh")) {
             return prism.highlight(text, prism.languages.sh, "sh");
         }
         return html_escape(text);
     })();
-    
+
     codeContent += `
     <div class="content content-${filename.split('.').pop()}">`;
     if (filename.endsWith(".md")) {
@@ -65,15 +69,15 @@ function addCode(folder, filename) {
     <pre><code>${highlight_text}</code></pre>
 `;
     }
-    
+
     codeContent += '</div>\n';
 }
 
 for (const section of section_order) {
-        ToCContent += `
+    ToCContent += `
     <li><a class="section" href="#${section}">${section}</a></li>
     <ol>`;
-        codeContent += `
+    codeContent += `
     <h2 class="section" id="${section}">${section}</h2>
 `;
 
@@ -87,7 +91,7 @@ for (const section of section_order) {
     </ol>`;
 }
 
-// HTML を出力
+// build/notebook.html を出力
 fs.writeFileSync("build/notebook.html", `<!DOCTYPE html>
 <!-- generated by build/build.js -->
 <html lang="en">
@@ -121,7 +125,7 @@ fs.writeFileSync("build/notebook.html", `<!DOCTYPE html>
 </body>
 </html>`);
 
-// CSS を出力
+// build/notebook.css を出力
 fs.writeFileSync("build/notebook.css", `/* generated by build/build.js */
 @import url("base.css");