default target runs "make install" (not "make all") in doc subdirectory.
[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.