]> git.sur5r.net Git - openocd/commit
projects / openocd / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f76cf27) | patch
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
treede00b04fd6734c09f5067d330dd30c4280df08fftree | snapshot
parentf76cf27380af20a6e1d46448c146140234d914f9commit | diff
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 diff | blob | history
Cloned from https://git.code.sf.net/p/openocd/code