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 | |
| parent | ea44f6089c5813a20f221792e67ff94723205a81 (diff) | |
| download | justbuild-6d3ef26955142e5366996c75bd48b88c44deae13.tar.gz | |
man: Fix orgmode option for section id
| -rw-r--r-- | share/man/just-graph-file.5.org | 2 | ||||
| -rw-r--r-- | share/man/just-import-git.1.org | 2 | ||||
| -rw-r--r-- | share/man/just-mr-repository-config.5.org | 2 | ||||
| -rw-r--r-- | share/man/just-mr.1.org | 2 | ||||
| -rw-r--r-- | share/man/just-mrrc.5.org | 2 | ||||
| -rw-r--r-- | share/man/just-repository-config.5.org | 2 | ||||
| -rw-r--r-- | share/man/just.1.org | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/share/man/just-graph-file.5.org b/share/man/just-graph-file.5.org index d13dcb52..5fed6466 100644 --- a/share/man/just-graph-file.5.org +++ b/share/man/just-graph-file.5.org @@ -1,5 +1,5 @@ #+TITLE: JUST GRAPH FILE -#+MAN_CLASS_OPTIONS: section-id=5 +#+MAN_CLASS_OPTIONS: :section-id "5" * NAME 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 diff --git a/share/man/just-mr-repository-config.5.org b/share/man/just-mr-repository-config.5.org index 2210aa76..8fd9a032 100644 --- a/share/man/just-mr-repository-config.5.org +++ b/share/man/just-mr-repository-config.5.org @@ -1,5 +1,5 @@ #+TITLE: JUST-MR REPOSITORY CONFIG -#+MAN_CLASS_OPTIONS: section-id=5 +#+MAN_CLASS_OPTIONS: :section-id "5" * NAME diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index 8b109f1b..70de96e2 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -1,5 +1,5 @@ #+TITLE: JUST-MR -#+MAN_CLASS_OPTIONS: section-id=1 +#+MAN_CLASS_OPTIONS: :section-id "1" * NAME diff --git a/share/man/just-mrrc.5.org b/share/man/just-mrrc.5.org index 07c28481..ab93d939 100644 --- a/share/man/just-mrrc.5.org +++ b/share/man/just-mrrc.5.org @@ -1,5 +1,5 @@ #+TITLE: JUST-MRRC -#+MAN_CLASS_OPTIONS: section-id=5 +#+MAN_CLASS_OPTIONS: :section-id "5" * NAME diff --git a/share/man/just-repository-config.5.org b/share/man/just-repository-config.5.org index 5ed78c87..941d9a92 100644 --- a/share/man/just-repository-config.5.org +++ b/share/man/just-repository-config.5.org @@ -1,5 +1,5 @@ #+TITLE: JUST REPOSITORY CONFIG -#+MAN_CLASS_OPTIONS: section-id=5 +#+MAN_CLASS_OPTIONS: :section-id "5" * NAME diff --git a/share/man/just.1.org b/share/man/just.1.org index b9541b4d..d1c8b7f7 100644 --- a/share/man/just.1.org +++ b/share/man/just.1.org @@ -1,5 +1,5 @@ #+TITLE: JUST -#+MAN_CLASS_OPTIONS: section-id=1 +#+MAN_CLASS_OPTIONS: :section-id "1" * NAME |