From 96e39806e938bb20b24584b100e8e9c09d9027a0 Mon Sep 17 00:00:00 2001
From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Sat, 21 Mar 2026 09:58:39 +0200
Subject: [PATCH] docs: add CUSTOM_ID properties to all org-mode sections

---
 doc/index.org | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/index.org b/doc/index.org
index 494f797..e8fe902 100644
--- a/doc/index.org
+++ b/doc/index.org
@@ -1,6 +1,9 @@
 #+TITLE: Emacs Org Mode support for java
 
 * General
+:PROPERTIES:
+:CUSTOM_ID: general
+:END:
 - This program is free software: released under Creative Commons Zero
   (CC0) license
 
@@ -12,6 +15,9 @@
 - [[https://www.svjatoslav.eu/projects/][Other software projects hosted at svjatoslav.eu]]
 
 ** Source code
+:PROPERTIES:
+:CUSTOM_ID: source-code
+:END:
 - [[https://www2.svjatoslav.eu/gitweb/?p=j-org-support.git;a=snapshot;h=HEAD;sf=tgz][Download latest snapshot in TAR GZ format]]
 
 - [[https://www2.svjatoslav.eu/gitweb/?p=j-org-support.git;a=summary][Browse Git repository online]]
@@ -19,6 +25,9 @@
 - Clone Git repository using command:
   : git clone https://www2.svjatoslav.eu/git/j-org-support.git
 * Current status
+:PROPERTIES:
+:CUSTOM_ID: current-status
+:END:
 - work in progress
 
 - Partially implemented functionality:
-- 
2.20.1