]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28b8d8b) | patch
Make Execution Trees references available in both manual and man pages.
authorMark Wielaard <mark@klomp.org>
Thu, 14 May 2020 15:50:40 +0000 (17:50 +0200)
committerMark Wielaard <mark@klomp.org>
Thu, 14 May 2020 15:50:52 +0000 (17:50 +0200)
commitde93a35139d8d2822cc37dfecfa40a99a80426e9
tree64259cca2c870ca65371fdd475fbfc9f116ace7atree | snapshot
parent28b8d8b5a1e3d620621bdb5f00ccd931840bb331commit | diff
Make Execution Trees references available in both manual and man pages.

Both the manual and the man pages reference xtrees. Create some shared
entities so both can reference the section.
docs/xml/manual-core-adv.xml diff | blob | blame | history
docs/xml/manual-core.xml diff | blob | blame | history
docs/xml/valgrind-manpage.xml diff | blob | blame | history
docs/xml/vg-entities.xml diff | blob | blame | history
helgrind/docs/hg-manual.xml diff | blob | blame | history
massif/docs/ms-manual.xml diff | blob | blame | history
memcheck/docs/mc-manual.xml diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git