This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian)
 restricted \write18 enabled.
entering extended mode
(./txiversion.tex
(/home/gregor/Source/TheToolChain_devel/InstallData/999_open_ocd/openocd-0.8.0/
doc/texinfo.tex Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup,
glyphs, page headings, tables, conditionals, indexing, sectioning, toc,
environments, defuns, macros, cross references, insertions,
(/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
This is `epsf.tex' v2.7.4 <14 February 2011>
) localization, formatting, and turning on texinfo input format.) )
No pages of output.
Transcript written on txiversion.log.
