docs: add org-mode documentation and improve navigation links master
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sun, 19 Apr 2026 20:11:54 +0000 (23:11 +0300)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sun, 19 Apr 2026 20:11:54 +0000 (23:11 +0300)
commite5b6d1d951b1dc5c8043000704ca8060ffe00294
tree5c59c93f654e8797a1e93f821e270800cbfb05b2
parentc02970ae040b7ec37ccb9621826f5718712591f7
docs: add org-mode documentation and improve navigation links

Add AGENTS.org with project overview in org-mode format. Add CUSTOM_ID
properties to all headings in doc/index.org for reliable internal
linking. Update .gitignore to use global HTML pattern and ignore IDE
project files. Rename tool scripts with title case.
.gitignore
AGENTS.org [new file with mode: 0644]
doc/index.org
tools/Implement idea [new file with mode: 0755]
tools/Open with IntelliJ IDEA [new file with mode: 0755]
tools/Update web site [new file with mode: 0755]
tools/implement idea [deleted file]
tools/open with IntelliJ IDEA [deleted file]
tools/update web site [deleted file]