diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2023-05-10 13:25:38 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-05-10 18:43:17 +0200 |
| commit | 6d3ef26955142e5366996c75bd48b88c44deae13 (patch) | |
| tree | 8ddade76f47b0b38f04bd8874375cee9a67037bf /share/man/just-import-git.1.org | |
| parent | ea44f6089c5813a20f221792e67ff94723205a81 (diff) | |
| download | justbuild-6d3ef26955142e5366996c75bd48b88c44deae13.tar.gz | |
man: Fix orgmode option for section id
Diffstat (limited to 'share/man/just-import-git.1.org')
| -rw-r--r-- | share/man/just-import-git.1.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/man/just-import-git.1.org b/share/man/just-import-git.1.org index 2c6197bc..c2d5c6f9 100644 --- a/share/man/just-import-git.1.org +++ b/share/man/just-import-git.1.org @@ -1,5 +1,5 @@ #+TITLE: JUST-import-git -#+MAN_CLASS_OPTIONS: section-id=1 +#+MAN_CLASS_OPTIONS: :section-id "1" * NAME |