doc/macros.texi (@refactornotice): Add macro

2017-03-22 12:30:00 -04:00 · 2017-03-22 12:30:00 -04:00 · b7adc3b844
parent 2475cc37a6
commit b7adc3b844
1 changed files with 8 additions and 0 deletions
--- a/doc/macros.texi
+++ b/doc/macros.texi
@ -99,6 +99,14 @@
@end macro


+@c non-critical maintenance notes
+@macro refactor{desc}
+@dnindex Refactor
+@devnotice{Portions of this system need refactoring.@footnote{
+  \desc\}}
+@end macro
+
+
@c simple textual example
@macro exnotice{text}
@noticestart{ex}