RISC-V: Regen riscv-ext.texi [NFC]

Regenerates the `riscv-ext.texi` file in the GCC documentation.

gcc/ChangeLog:

	* doc/riscv-ext.texi: Regen.

diff --git a/gcc/doc/riscv-ext.texi b/gcc/doc/riscv-ext.texi
index e69a2df768d4b6a11a70eac691c5efc677629947..c3ed1bfb593671260bae4efe67e4a4dc5d97dd2b 100644 (file)
--- a/gcc/doc/riscv-ext.texi
+++ b/gcc/doc/riscv-ext.texi
@@ -520,7 +520,7 @@
 
 @item smrnmi
 @tab 1.0
-@tab Resumable Non-Maskable Interrupts
+@tab Resumable non-maskable interrupts
 
 @item smstateen
 @tab 1.0