Merge branch 'jc/checkdiff'

diff --git a/Documentation/asciidoc.conf b/Documentation/asciidoc.conf

index 10c1a151a4c38fa594bd83f124f4b654dcfd11e3..40d43b78ee9d6c3827bcf631c1f41f54d0e3dfbc 100644 (file)
--- a/Documentation/asciidoc.conf
+++ b/Documentation/asciidoc.conf
@@ -8,6 +8,7 @@
  # the command.
  
  [attributes]
+asterisk=&#42;
  plus=&#43;
  caret=&#94;
  startsb=&#91;