New **make-default** rule: ../tools/htdocs/mkws.js
[mkws-moved-to-github.git] / doc / .gitignore
2014-03-25 Mike TaylorMore generated files (.pdf, .odt) to ignore.
2014-03-25 Mike TaylorNew doc/.gitignore, omits generated HTML files.