Fix non portability spotted by Florian:
[valgrind.git] / docs / 
treeeca462a6fe535e06978a4fd5c7bfa09fd5660713
drwxr-xr-x   ..
-rw-r--r-- 9898 Makefile.am
-rw-r--r-- 7359 README
drwxr-xr-x - images
drwxr-xr-x - internals
drwxr-xr-x - lib
drwxr-xr-x - xml