From: "Ulrich Müller" <ulm@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] proj/pms:master commit in: /
Date: Sun, 1 Jan 2023 17:57:45 +0000 (UTC) [thread overview]
Message-ID: <1672177474.ab2bce21ac83e6ad6cc649ef09cd4bae334e4417.ulm@gentoo> (raw)
Message-ID: <20230101175745.kgWWi-MEwqXuq7CE2rVG6MuqP2FN7MbNjcfTWeb7W2Q@z> (raw)
commit: ab2bce21ac83e6ad6cc649ef09cd4bae334e4417
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 27 21:35:14 2022 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Tue Dec 27 21:44:34 2022 +0000
URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=ab2bce21
Makefile: Use guessable names for section references in HTML output
This replaces the "x1*" fragment identifiers by more predictable ones
with a "chapter", "section", or "appendix" prefix. This is possible
because our section numbers are unique.
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
Makefile | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/Makefile b/Makefile
index 89fd7a2..c882534 100644
--- a/Makefile
+++ b/Makefile
@@ -54,6 +54,11 @@ pms.html: $(LATEXFILES) pms.bbl $(COMMITINFO)
@# remove redundant span elements
LC_ALL=C sed -Ei ':x;/<span(\s+[^>]*)?$$/{N;bx;};'\
':y;s,(<span\s+[^>]*>)([^<]*)</span>\1,\1\2,;ty' $@
+ @# guessable names for sections
+ LC_ALL=C sed -Ei \
+ -e 's/("#?)x1-[0-9]*00+([1-9][0-9]?")/\1chapter-\2/g' \
+ -e 's/("#?)x1-[0-9]*00+([1-9][0-9]?(\.[0-9]+)+")/\1section-\2/g' \
+ -e 's/("#?)x1-[0-9]*00+([A-Z](\.[0-9]+)*")/\1appendix-\2/g' $@
pms.bbl: pms.bib $(LATEXFILES) $(COMMITINFO)
$(aux-clean)
next reply other threads:[~2023-01-01 17:57 UTC|newest]
Thread overview: 167+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-02-26 17:42 Ulrich Müller [this message]
2023-01-01 17:57 ` [gentoo-commits] proj/pms:master commit in: / Ulrich Müller
-- strict thread matches above, loose matches on Subject: below --
2025-02-09 20:38 [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2025-02-09 20:38 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 Ulrich Müller
2025-01-18 10:18 [gentoo-commits] proj/pms:master " Ulrich Müller
2025-01-18 10:18 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2025-01-17 18:50 [gentoo-commits] proj/pms:master " Ulrich Müller
2025-01-18 10:18 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:25 Ulrich Müller
2025-01-13 17:22 [gentoo-commits] proj/pms:master " Ulrich Müller
2025-01-13 17:25 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2025-01-13 17:22 [gentoo-commits] proj/pms:master " Ulrich Müller
2025-01-13 17:25 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-12 20:14 Ulrich Müller
2025-01-10 9:56 Ulrich Müller
2025-01-10 9:56 Ulrich Müller
2025-01-10 9:56 Ulrich Müller
2025-01-10 9:56 Ulrich Müller
2025-01-10 9:56 Ulrich Müller
2025-01-09 17:37 [gentoo-commits] proj/pms:master " Ulrich Müller
2025-01-10 9:56 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2025-01-07 17:16 Ulrich Müller
2025-01-07 17:16 Ulrich Müller
2025-01-07 17:16 Ulrich Müller
2025-01-07 17:16 Ulrich Müller
2025-01-07 11:03 Ulrich Müller
2025-01-07 11:03 Ulrich Müller
2025-01-07 11:03 Ulrich Müller
2025-01-07 11:03 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:39 Ulrich Müller
2024-12-11 19:37 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-12-03 17:44 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-12-01 11:30 Ulrich Müller
2024-11-29 16:46 Ulrich Müller
2024-11-22 14:41 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-11-12 19:18 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-11-12 19:18 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-11-12 19:18 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-07-16 9:50 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-06-24 9:10 Ulrich Müller
2024-06-16 19:22 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-06-16 19:22 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-12-11 19:39 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:57 Ulrich Müller
2024-06-02 9:55 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-05-14 4:25 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-04-05 14:07 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-03-03 17:30 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-03-03 17:30 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-03-03 17:30 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-02-08 9:43 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2024-01-01 14:34 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-08-09 17:24 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-08-06 15:26 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-06-05 18:45 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-06-05 18:45 [gentoo-commits] proj/pms:master " Ulrich Müller
2024-06-02 9:57 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-04-14 16:40 Ulrich Müller
2023-04-14 16:40 Ulrich Müller
2023-04-14 16:40 Ulrich Müller
2023-04-14 16:40 Ulrich Müller
2023-04-10 7:18 Ulrich Müller
2023-04-10 7:18 Ulrich Müller
2023-04-10 7:18 Ulrich Müller
2023-04-10 7:18 Ulrich Müller
2023-04-10 7:18 Ulrich Müller
2023-04-10 7:18 Ulrich Müller
2023-02-27 11:05 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-02-26 17:42 Ulrich Müller
2023-01-19 16:40 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-01-19 16:40 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-01-19 16:40 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-01-09 18:18 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-01-01 17:57 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2023-01-01 17:57 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2022-12-17 16:40 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2022-12-14 10:10 Ulrich Müller
2022-12-14 10:10 Ulrich Müller
2022-12-09 19:07 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2022-10-20 7:06 [gentoo-commits] proj/pms:master " Ulrich Müller
2023-02-26 17:42 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2022-08-22 18:30 Ulrich Müller
2022-08-22 18:30 Ulrich Müller
2022-08-22 18:30 Ulrich Müller
2022-08-22 18:30 Ulrich Müller
2022-08-22 18:30 Ulrich Müller
2022-08-21 9:42 Ulrich Müller
2022-08-21 9:42 Ulrich Müller
2022-08-21 9:42 Ulrich Müller
2022-08-21 9:42 Ulrich Müller
2022-08-21 9:42 Ulrich Müller
2022-08-21 9:42 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-08-18 15:53 Ulrich Müller
2022-04-07 6:22 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-08-18 15:53 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2022-02-21 19:05 Ulrich Müller
2022-02-21 19:05 Ulrich Müller
2022-02-21 19:05 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-14 7:29 Ulrich Müller
2022-02-07 8:13 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2022-02-07 8:13 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2021-09-03 15:26 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2021-09-03 15:26 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2021-09-03 6:56 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2021-09-01 17:35 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
2021-08-19 19:40 [gentoo-commits] proj/pms:master " Ulrich Müller
2022-02-14 7:29 ` [gentoo-commits] proj/pms:eapi-9 " Ulrich Müller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1672177474.ab2bce21ac83e6ad6cc649ef09cd4bae334e4417.ulm@gentoo \
--to=ulm@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox