summaryrefslogtreecommitdiff
path: root/man/custom-html.xsl
diff options
context:
space:
mode:
authorJan Engelhardt <jengelh@inai.de>2014-08-03 07:11:12 +0200
committerJan Engelhardt <jengelh@inai.de>2015-11-06 13:00:02 +0100
commitb938cb902c3b5bca807a94b277672c64d6767886 (patch)
tree267bd1d61268865fa405b3e5a3027041f7f3a183 /man/custom-html.xsl
parenta6bff4a7428b9539d85618e3c91fcb60be93f3fa (diff)
doc: correct punctuation and improve typography in documentation
Diffstat (limited to 'man/custom-html.xsl')
-rw-r--r--man/custom-html.xsl2
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">