Skip to content

Conversation

@bftjoe
Copy link

@bftjoe bftjoe commented May 9, 2020

I did not run html minimizer on it, let me know which one you want to use if so.

@N00byEdge
Copy link
Member

Yeah I did this too when releasing 4.4.0, but couldn't get the minimizer to run, so didn't bother updating the docs page. We could definitely merge this and make an issue to minimize the HTML later. What do you say @heinermann ?

@bftjoe
Copy link
Author

bftjoe commented May 10, 2020

I looked at the headers, according to Chrome github.io gzip encodes content so benefit from minimizing would be small.

@heinermann
Copy link
Member

There's more than just a minimizer, there's an entire post processor

@heinermann
Copy link
Member

heinermann commented May 11, 2020

I believe it includes things like converting to HTML5, mobile support, Google translate support, web content minimization, and other stuff.

However I don't think we should overindex on this since the bwapi5 doc will use a different Doxygen generator entirely.

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.

3 participants