Fix two problems with openocd.texi:
[fw/openocd] / tools / logger.pl
2009-05-20 zwelchAdd 'docs' and 'doxygen' targets to top-level Makefile.