docs: add CUSTOM_ID properties to all org-mode sections

diff --git a/doc/index.org b/doc/index.org
index 494f797..e8fe902 100644 (file)
--- 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: