public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Ulrich Müller" <ulm@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] proj/pms:eapi-9 commit in: /
Date: Sun, 26 Feb 2023 17:42:54 +0000 (UTC)	[thread overview]
Message-ID: <1672177474.ab2bce21ac83e6ad6cc649ef09cd4bae334e4417.ulm@gentoo> (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)


WARNING: multiple messages have this Message-ID (diff)
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)


             reply	other threads:[~2023-02-26 17:43 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