[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[
Index
]
[
?
]
7.32
.endef
This directive flags the end of a symbol definition begun with
.def
.
This document was generated by
system
on
July, 22 2007
using
texi2html