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
__archive__
oharboe 2008-02-28 07:26:14 +00:00
parent f76cf27380
commit 8ff85b62ef
1 changed files with 1916 additions and 1912 deletions

File diff suppressed because it is too large Load Diff