let's see if this fixes the document build failing to build index
[debian/cc1111] / support / valdiag /
drwxr-xr-x   ..
-rw-r--r-- 1213 Makefile.in
drwxr-xr-x - tests
-rw-r--r-- 9535 valdiag.py