[gentoo-pms] [PATCH 0/3] Guessable section labels in HTML output

[Ulrich Müller]

This patch series introduces guessable section labels in URLs,
e.g. "#section-9.1" instead of "#x1-850009.1".

In order to make this possible, all sections in the appendix must
have a section number. Therefore, revert two earlier commits and
reintroduce section numbers in Appendix C (but not in Appendix E,
because section headings like "E.9 EAPI 8" would look rather strange).

The rationale for "#section-9.1" to be preferred to "#9.1" is that
labels like "#table-9.1" and "#listing-9.1" may be added at a later
time.

Ulrich Müller (3):
  Revert "Appendix: Include EAPI differences sections in table of
    contents."
  Revert "Appendix: Do not number sections."
  Makefile: Use guessable names for section references in HTML output

 Makefile             |  5 +++++
 eapi-differences.tex | 18 +++++++++---------
 pms.tex              |  1 -
 3 files changed, 14 insertions(+), 10 deletions(-)

-- 
2.39.0