Suppose I have the following org file (
* Alpha ** Aleph * Beta * Gamma
When I export it to HTML I get:
1. Alpha 1.1. Aleph 2. Beta 3. Gamma
Which is quite useful in most cases. Now suppose I want to have the following HTML output:
2.3.1. Alpha 22.214.171.124. Aleph 4.2. Beta 5. Gamma
How should I amend
Note that the expected new numbering can't be predicted, it has hence to be specified manually.