Rename more options for consistency:
[mkws-moved-to-github.git] / tools / htdocs /
drwxr-xr-x   ..
-rw-r--r-- 97 .gitignore
-rw-r--r-- 2562 Makefile
-rw-r--r-- 5256 README.markdown
-rw-r--r-- 1228 html-structure.txt
-rw-r--r-- 4272 index.html
-rw-r--r-- 1242 mkws-doc.css
-rw-r--r-- 29164 mkws.js
-rw-r--r-- 3317 mkwsStyle.css
-rw-r--r-- 21015 whitepaper.markdown