19 @image{figures/\file\}
24 @center @image{figures/\file\, 10cm}
36 <div class=categorybox>
40 @macro category {name}
44 @ref{Category: \name\}
53 @c Macros for cross references
55 @macro mref {nodename}
56 @code{@ref{\nodename\}}
59 @macro mxref {nodename, text}
60 @code{@ref{\nodename\, \text\}}
63 @macro mrefdot {nodename}
64 @code{@ref{\nodename\}}.
67 @macro mxrefdot {nodename, text}
68 @code{@ref{\nodename\, \text\}}.
71 @macro mrefcomma {nodename}
72 @code{@ref{\nodename\}},
75 @macro mxrefcomma {nodename, text}
76 @code{@ref{\nodename\, \text\}},
79 @macro mrefparen {nodename}
80 @code{@ref{\nodename\}})
85 @c Non html versions of the macros
92 @macro category {name}
98 @c Macros for cross references
100 @macro mref {nodename}
104 @macro mxref {nodename, text}
108 @macro mrefdot {nodename}
112 @macro mxrefdot {nodename, text}
116 @macro mrefcomma {nodename}
120 @macro mxrefcomma {nodename, text}
124 @macro mrefparen {nodename}