From c101b65619e754059c3183f822132f1915df46de Mon Sep 17 00:00:00 2001 From: David Tardon Date: Sat, 23 Dec 2023 17:22:04 +0100 Subject: [PATCH] man: make ID valid The id attribute is of type ID, defined at https://www.w3.org/TR/1998/REC-xml-19980210#id . It may contain only selected non-alphanumeric characters; '@' is not among them. --- man/systemd-backlight@.service.xml | 2 +- man/systemd-fsck@.service.xml | 2 +- man/systemd-integritysetup@.service.xml | 2 +- man/systemd-makefs@.service.xml | 2 +- man/systemd-veritysetup@.service.xml | 2 +- man/user@.service.xml | 2 +- tools/make-man-index.py | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/man/systemd-backlight@.service.xml b/man/systemd-backlight@.service.xml index 431b27bbb09..95fa518bffd 100644 --- a/man/systemd-backlight@.service.xml +++ b/man/systemd-backlight@.service.xml @@ -3,7 +3,7 @@ - diff --git a/man/systemd-fsck@.service.xml b/man/systemd-fsck@.service.xml index 5f351ded356..a138bd0107c 100644 --- a/man/systemd-fsck@.service.xml +++ b/man/systemd-fsck@.service.xml @@ -3,7 +3,7 @@ - + systemd-fsck@.service diff --git a/man/systemd-integritysetup@.service.xml b/man/systemd-integritysetup@.service.xml index a090b1c7639..831c3690e1b 100644 --- a/man/systemd-integritysetup@.service.xml +++ b/man/systemd-integritysetup@.service.xml @@ -3,7 +3,7 @@ - diff --git a/man/systemd-makefs@.service.xml b/man/systemd-makefs@.service.xml index 0b54ba3584a..5447de04056 100644 --- a/man/systemd-makefs@.service.xml +++ b/man/systemd-makefs@.service.xml @@ -3,7 +3,7 @@ - + systemd-makefs@.service diff --git a/man/systemd-veritysetup@.service.xml b/man/systemd-veritysetup@.service.xml index 4a4d8d9814a..a549b41b704 100644 --- a/man/systemd-veritysetup@.service.xml +++ b/man/systemd-veritysetup@.service.xml @@ -3,7 +3,7 @@ - diff --git a/man/user@.service.xml b/man/user@.service.xml index bdc2aa22f11..6d0eaa4e045 100644 --- a/man/user@.service.xml +++ b/man/user@.service.xml @@ -3,7 +3,7 @@ "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd"> - + user@.service systemd diff --git a/tools/make-man-index.py b/tools/make-man-index.py index 579dd405c22..b4b262b508d 100755 --- a/tools/make-man-index.py +++ b/tools/make-man-index.py @@ -46,7 +46,7 @@ This index contains {count} entries, referring to {pages} individual manual page def check_id(page, t): page_id = t.getroot().get('id') - if not re.search('/' + page_id + '[.]', page): + if not re.search('/' + page_id + '[.]', page.translate(str.maketrans('@', '_'))): raise ValueError(f"id='{page_id}' is not the same as page name '{page}'") def make_index(pages):