Skip to content

Editorial improvements and build tooling enhancements#58

Merged
podborski merged 14 commits intomainfrom
editorial
Mar 25, 2026
Merged

Editorial improvements and build tooling enhancements#58
podborski merged 14 commits intomainfrom
editorial

Conversation

@podborski
Copy link
Copy Markdown
Member

@podborski podborski commented Mar 12, 2026

Spec content (index.bs)

  • Add explicit section anchors ({#id}) to all headings - eliminates Bikeshed duplicate-ID warnings and makes cross-references stable across revisions
  • Remove unused ETSI-EN300468 bibliography entry
  • Disable auto-generated Bikeshed conformance boilerplate (Boilerplate: conformance no). Redundant with section 1.1 which already defines normative language per ETSI Drafting Rules; move the informative note convention into section 1.1 instead
  • Add clarification to section 1.2 explaining the mnemonic(N) syntax descriptor notation used in the syntax tables
  • Fix a bunch of typos

Build tooling (compile.py)

  • compile.py now substitutes today's date into the Date: metadata field on every build; add --date YYYY-MM-DD option to override
  • Unify both build paths (SDL and --no-sdl) through a single temp file - simplifies the code and ensures date substitution applies in both modes
  • Add build status output (mode, date, output path)
  • Improve TOC for PDF

README

  • Rewrite with proper structure: introduction, prerequisites, build instructions (both quick and full modes), known implementations, license

closes #57

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 12, 2026

📄 Specification Preview

The specification has been built for this PR!

🔗 Download

Download Build Artifact

📦 What's included:

  • index.html — Specification with SDL syntax tables
  • index.pdf — PDF version
  • diff.html — Visual diff against base branch

Built from commit 413ef51 • Wed, 25 Mar 2026 17:56:33 GMT

@podborski podborski changed the title More editorial improvements Editorial improvements and build tooling enhancements Mar 12, 2026
@podborski podborski merged commit 707b683 into main Mar 25, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Some notes are broken

2 participants