diff --git a/docs/configuration.html b/docs/configuration.html index 65efec421f..9d773a64fd 100644 --- a/docs/configuration.html +++ b/docs/configuration.html @@ -6878,6 +6878,15 @@

Miscellaneous

+

lineEndings

+

This parameter controls which end-of-line character sequences will be output, +takes the following values:

+ +

Default: lineEndings = "unix"

rewriteTokens

Map of tokens to rewrite. For example, Map("⇒" -> "=>") will rewrite unicode arrows to regular ascii arrows.

@@ -7455,7 +7464,7 @@

excludeFilters = [] xmlLiterals.assumeFormatted = false -
InstallationGotchas