Fix bug #424 Wrong circular inclusion detection.
tree78eaf011374b16620b4a20471908146590bca4be
-rw-r--r-- 188 .gitignore
drwxr-xr-x - docutils
drwxr-xr-x - prest
drwxr-xr-x - sandbox
drwxr-xr-x - web