chore: modernize web update workflow and ignore generated HTML
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Wed, 18 Mar 2026 21:28:29 +0000 (23:28 +0200)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Wed, 18 Mar 2026 21:28:29 +0000 (23:28 +0200)
commit536a079ae15d207546d7a35f0887bb83c43078f1
treee62574f1ce61ae5cfdfc2ce6237123ed9ad62e3c
parent4b190c4bbc4daf0eeb74bb2399eb050ba9cbcacf
chore: modernize web update workflow and ignore generated HTML

- Add automated org-to-HTML export using Emacs batch mode to web update
  script, matching sixth-3d approach
- Add *.html to .gitignore since HTML is generated from org files
- Rename tools/ to Tools/ for consistency with other projects
- Update index.org with modern org export setup
.gitignore
Tools/Open with IntelliJ IDEA [new file with mode: 0755]
Tools/Update web site [new file with mode: 0755]
doc/index.org
tools/commit and push [deleted file]
tools/open with IntelliJ IDEA [deleted file]
tools/update web site [deleted file]