1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
<!-- misc. strings -->
<!ENTITY vg-url "http://www.valgrind.org/">
<!ENTITY vg-jemail "julian@valgrind.org">
<!ENTITY vg-vemail "valgrind@valgrind.org">
<!ENTITY vg-lifespan "2000-2008">
<!ENTITY vg-users-list "http://lists.sourceforge.net/lists/listinfo/valgrind-users">
<!-- valgrind release + version stuff -->
<!ENTITY rel-type "Release">
<!ENTITY rel-version "3.3.1">
<!ENTITY rel-date "4 June 2008">
<!-- where the docs are installed -->
<!ENTITY vg-doc-path "/usr/share/doc/valgrind/html/index.html">
<!-- valgrind website links used in lots of places in the docs -->
<!-- kept in here 'cos everytime the website gets changed, it`s -->
<!-- a real pain tracking the links down in the docs -->
<!ENTITY vg-developers "http://www.valgrind.org/info/developers.html">
<!ENTITY vg-svn-repo "http://www.valgrind.org/downloads/repository.html">
<!ENTITY vg-pubs "http://www.valgrind.org/docs/pubs.html">
<!ENTITY vg-bookset "http://www.valgrind.org/docs/manual/index.html">
<!ENTITY vg-dist-docs "http://www.valgrind.org/docs/manual/dist.html">
<!ENTITY vg-commentary "http://www.valgrind.org/docs/manual/manual-core.html#manual-core.comment">
|
