Migrate to Maven-based build#105

Closed

jkesselm wants to merge 9 commits intomasterfrom

Commits on Oct 18, 2023

Remove generated source files from repository, alter .gitignore to keep them out (and comment it to explain this.
kubycsolutions
committed
Remove generated source files from repository, alter .gitignore to keep them out (and comment it to explain this.
kubycsolutions
committed
Maven build perfers xhtml to html, and wants them under src/site.
kubycsolutions
committed