runtimeverification/k-web-theme

This is stars and forks stats for /runtimeverification/k-web-theme repository. As of 25 Apr, 2024 this repository has 0 stars and 1 forks.

k-web-theme Prepare npm install npm run build Build a static website using k-web-theme library Please check the index.js file which exports few useful functions: module.exports = { generateOutputWebpage, generatePagesFromMarkdownFiles, cleanUpFiles, buildSitemap, md, }; generateOutputWebpage is used for generating HTML file from a template HTML string. generatePagesFromMarkdownFiles is used for generating HTML files from multiple markdown files. cleanUpFiles is used for removing all *.html...