Skip to content

Add tidy check for missing {# #} tag in rustdoc templates #130559

Closed
@GuillaumeGomez

Description

@GuillaumeGomez

To make the generated HTML size smaller, we strip whitespace characters as much as possible in our jinja templates, using {# #} (jinja comments) to force the trimming between HTML items.

However, we often forget to put {# #} between HTML items (like in #120818 most recently). A tidy check would fix this issue.

Metadata

Metadata

Labels

A-tidyArea: The tidy toolC-enhancementCategory: An issue proposing an enhancement or a PR with one.T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions