On 10/06/2025 18:59, Max Nikulin wrote:
On 10/06/2025 18:10, Bastien Guerry wrote:
Yes, files in archives/ should *not* be exported: that's a place to move
problematic .org files that contributors may still want to explore from
their local repository.
I would keep /worg/archive/fireforg.html available just for the history.
(I would add a prominent banner that content is obsolete.) I would not
object if you and Christian believe that the file should be removed from
the web server. Options I see
- move archive/fireforg.org to another directory (history?)
- remove fireforg.html from the web server and remove link to archive/
index.org from index.org
The same question is concerning org-annotation-helper.org.
org-annotation-helper.org may be moved back to org-contrib.
Another idea is to leave nginx configuration as is, export "archive",
but move gsoc2012 to new "noexport" directory and exclude it from build
and publish steps.
