glossary.texi 678 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. \input texinfo.tex
  2. @setfilename glossary
  3. @macro glossarytext
  4. @table @asis
  5. @end macro
  6. @macro glossary
  7. @glossarytext
  8. @end table
  9. @end macro
  10. @macro gentry {id, name, text}
  11. @ifhtml
  12. @ref{\id\,\name\}
  13. @end ifhtml
  14. @ifnothtml
  15. \name\ (@pxref{\id\})
  16. @end ifnothtml
  17. @unmacro expandglossary
  18. @macro expandglossary{glossary}
  19. @unmacro glossarytext
  20. @macro glossarytext
  21. \\glossary\\
  22. @item \name\ @anchor{\id\}
  23. \text\
  24. @end macro
  25. @end macro
  26. @expandglossary {@glossarytext}
  27. @end macro
  28. @node Top
  29. @top Top
  30. @menu
  31. * glossary::
  32. @end menu
  33. The @gentry{id1, name1, text1\, arg1 } is used in many cases while
  34. @gentry{id2, name2, text2} is quite specific
  35. @node glossary
  36. @chapter glossary
  37. @glossary