Fixed potential package.json build bug
"description": "--- permalink: README.html copyright: Copyright (c) 2010-2020 K Team. All Rights Reserved. ---",
"main": "index.html",
"scripts": {
- "build": "cd ./k-web-theme && npm install && npm run build && cd - && npm install ./k-web-theme && cp -r ./k-web-theme/public_content/* ./public_content/ && node build-html.js",
+ "build": "cd ./k-web-theme && npm install && npm run build && cd - && npm install ./k-web-theme && cp -r ./k-web-theme/public_content/. ./public_content/ && node build-html.js",
"build-sitemap": "node sitemap/build-sitemap.js https://kframework.org/",
"serve": "http-server public_content"
},
