NicoK opened a new pull request #9440: [FLINK-13724][docs] remove unnecessary whitespace from the generated pages URL: https://github.com/apache/flink/pull/9440 ## What is the purpose of the change Code like the following in the side navigation before this PR creates quite some unnecessary whitespace as each line will have only the code removed: ``` {% if parent_id %} {% assign parent_id = current[0].nav-parent_id %} {% else %} {% break %} {% endif %} ``` Starting command tags with `{%-` will drop all whitespace to the left and ending with `-%}` will drop all whitespace to the right (including newlines!). ## Brief change log Building on top of #9439, this PR adds: - use `{%-` and `-%}` as appropriate in basic includes and layouts which will be included into all/most pages ## Verifying this change This change is a trivial rework which I verified in the generated HTML pages.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services