From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 18 Apr 2023 15:32:40 +0000 (+0100)
Subject: move tag
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f33f655e2a01a67f947ee738464eaa960b5c6969;p=libreriscv.git

move tag
---

diff --git a/openpower/sv/rfc/ls005.mdwn b/openpower/sv/rfc/ls005.mdwn
index 6dd666ad9..6611f89f8 100644
--- a/openpower/sv/rfc/ls005.mdwn
+++ b/openpower/sv/rfc/ls005.mdwn
@@ -299,6 +299,7 @@ no loss of functionality compared to keeping `extsb` always as "byte
 sign-extending" and ironically the loss of opportunity *is* to keep
 `extsb` the same regardless of XLEN.
 
+[[!tag opf_rfc]]
+
 \newpage{}
 
-[[!tag opf_rfc]]