Revision 7dbada82c42a0eaaea4095569628de384fc38266

Committed on 15/10/2013 5:53 am by gggeek <gg@ez.no> [GitHub Diff]

Fix: check when building "4X" for a file which existed in 3.X distributions, to allow building docs for them as well