Uwe Hermann Add @dircategory and @direntry to the info page -- they're used to add...
authoroharboe <oharboe@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Thu, 28 Feb 2008 07:26:14 +0000 (07:26 +0000)
committeroharboe <oharboe@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Thu, 28 Feb 2008 07:26:14 +0000 (07:26 +0000)
commit8ff85b62ef61f6e6f0f759ef9706bbea84b7c059
treede00b04fd6734c09f5067d330dd30c4280df08ff
parentf76cf27380af20a6e1d46448c146140234d914f9
Uwe Hermann Add @dircategory and @direntry to the info page -- they're used to add the openocd info page to the global  index of info pages in the system (usually /usr/share/info/dir).

git-svn-id: svn://svn.berlios.de/openocd/trunk@361 b42882b7-edfa-0310-969c-e2dbd0fdcd60
doc/openocd.texi