diff options
| author | Jan Engelhardt <jengelh@inai.de> | 2014-08-03 07:11:12 +0200 |
|---|---|---|
| committer | Jan Engelhardt <jengelh@inai.de> | 2015-11-06 13:00:02 +0100 |
| commit | b938cb902c3b5bca807a94b277672c64d6767886 (patch) | |
| tree | 267bd1d61268865fa405b3e5a3027041f7f3a183 /man/custom-html.xsl | |
| parent | a6bff4a7428b9539d85618e3c91fcb60be93f3fa (diff) | |
doc: correct punctuation and improve typography in documentation
Diffstat (limited to 'man/custom-html.xsl')
| -rw-r--r-- | man/custom-html.xsl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/custom-html.xsl b/man/custom-html.xsl index 3e266e4a7f..fe379a4ff0 100644 --- a/man/custom-html.xsl +++ b/man/custom-html.xsl @@ -171,7 +171,7 @@ <!-- - If stable URLs with fragment markers (references to the ID) turn out not to be important: - generatedID could simply take the value of generate-id(), and various other helper templates may be dropped entirely. - - Alternatively if xsltproc is patched to generate reproducible generate-id() output the same simplifications can be + - Alternatively, if xsltproc is patched to generate reproducible generate-id() output, the same simplifications can be - applied at the cost of breaking compatibility with URLs generated from output of previous versions of this stylesheet. --> <xsl:variable name="generatedID"> |