Move some macros to macros.tex.

Eelis · Jan 15, 2020 · 075bf4a · 075bf4a
1 parent 931e200
commit 075bf4a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/source/macros.tex b/source/macros.tex
@@ -633,6 +633,12 @@
 \newenvironment{defnote}{\addtocounter{termnote}{1}\noteintro{Note \thetermnote{} to entry}}{\noteoutro{note}\space}
 
 
+% FIXME: For now, keep the format grammar productions out of the index, since
+% they conflict with the main grammar.
+% Consider renaming these en masse (to fmt-* ?) to avoid this problem.
+\newcommand{\fmtnontermdef}[1]{{\BnfNontermshape#1\itcorr}\textnormal{:}}
+\newcommand{\fmtgrammarterm}[1]{\gterm{#1}}
+
 %%-------------------------------------------------
 %% cxxdraft-htmlgen macros
 

diff --git a/source/utilities.tex b/source/utilities.tex
@@ -19642,12 +19642,6 @@
 
 \rSec3[format.string.general]{In general}
 
-% FIXME: For now, keep the format grammar productions out of the index, since
-% they conflict with the main grammar.
-% Consider renaming these en masse (to fmt-* ?) to avoid this problem.
-\newcommand{\fmtnontermdef}[1]{{\BnfNontermshape#1\itcorr}\textnormal{:}}
-\newcommand{\fmtgrammarterm}[1]{\gterm{#1}}
-
 \pnum
 A \defn{format string} is a (possibly empty) sequence of
 \defnx{replacement fields}{replacement field!format string},