]> xenbits.xensource.com Git - xtf.git/commitdiff
docs: Fix formatting in the all-docs index
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 17 Feb 2020 18:29:36 +0000 (18:29 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 17 Feb 2020 18:29:36 +0000 (18:29 +0000)
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
tests/nmi-taskswitch-priv/main.c

index f21b559fcc10e2971f796737851de97edf20e3aa..266690b5ab141a029df87954a92f66ed6af28e55 100644 (file)
@@ -2,7 +2,7 @@
  * @file tests/nmi-taskswitch-priv/main.c
  * @ref test-nmi-taskswitch-priv
  *
- * @page test-nmi-taskswitch-priv NMI Taskswitch with increasing privilege.
+ * @page test-nmi-taskswitch-priv NMI Taskswitch with increasing privilege
  *
  * 32bit versions of Windows use a Task Gate for handling @#NMI, and use NMI
  * IPIs between vCPUs in some circumstances.