Rename doc/ to Documentation/ and unify version at 1.0.0-SNAPSHOT feat master
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sat, 19 Sep 2026 21:41:33 +0000 (00:41 +0300)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sat, 19 Sep 2026 21:41:33 +0000 (00:41 +0300)
commitf7ed9cf6cdf8c46c81eec251aa9dbd0de3bcf613
tree36e0c9bec9f9f3456e75d68133967a2ebe2b8af3
parentc43eba5d629334af11dcb0730a0e20225bd56d7e
Rename doc/ to Documentation/ and unify version at 1.0.0-SNAPSHOT

- .gitignore and Tools/Update web site updated to the new layout
- pom.xml: 1.0.0-SNAPSHOT; correct <scm> to the current hosting URL
- Documentation/index.org: drop two dangling org [[id:]] links whose
  targets no longer exist (batch HTML export hung on them)
.gitignore
Documentation/index.org [new file with mode: 0644]
Tools/Update web site
doc/index.org [deleted file]
pom.xml