Skip to content

Conversation

@FangNotFish
Copy link

If use_ext_html is enable,

  1. all page files will end with ".html" extension.
  2. docs.gl.js will automatically append the ".html" for links.

If `use_ext_html` is enable,
1. all page files will end with ".html" extension;
2. docs.gl.js will automaticly append the ".html" for links.
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.

1 participant