(macro FIXME): Rewritten

1 files changed, 6 insertions, 13 deletions

diff --git a/doc/rendition.texi b/doc/rendition.texi
index 3014cf4..67fcdf2 100644
--- a/doc/rendition.texi
+++ b/doc/rendition.texi
@@ -13,6 +13,8 @@
 @c those working on the manual itself.
 @c ======================================================================
 
+@set PROOF_FOOTNOTED
+
 @ifclear PUBLISH
 @ifclear DISTRIB
 @ifclear PROOF
@@ -21,8 +23,6 @@
 @end ifclear
 @end ifclear
 
-@set FIXME_FOOTNOTE true
-
 @ifset PUBLISH
 @set RENDITION The book, version
 @end ifset
@@ -47,32 +47,25 @@
 
 @c Output various FIXME information only in PROOF rendition.
 
-@ifset FIXME_FOOTNOTE
 @macro FIXME{string}
 @allow-recursion
 @quote-arg
 @ifset PROOF
+@ifset PROOF_FOOTNOTED
 @footnote{@strong{FIXME:} \string\}
 @end ifset
-@end macro
-@end ifset
-
-@ifclear FIXME_FOOTNOTE
-@macro FIXME{string}
-@allow-recursion
-@quote-arg
-@ifset PROOF
+@ifclear PROOF_FOOTNOTED
 @strong{<FIXME>} \string\ @strong{</>}
+@end ifclear
 @end ifset
+
 @end macro
-@end ifclear
 
 @macro FIXME-ref{string}
 @quote-arg
 @ifset PROOF
 @strong{<REF>} \string\ @strong{</>}
 @end ifset
-
 @end macro
 
 @macro FIXME-pxref{string}