Added feature to allow default extensions #1
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds a feature to allow a default extension for files, that have no extension set after filtered.
The need for this feature came along, because we wanted to host the generated documentation in another generated documentation and that didn't work without the .html extension for HTML files in links.
This PR adds an option called "defaultExt" which can be set to e.g. ".html" and will set this extension in the _href data for pages, that have no extension (e.g. Markdown-sources). Generated Index files are left out.