Skip to content

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

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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