that was missing in part 1 Still to come: makefiles and splitting new basedoc.py in small files svn: r12591
svn: r12430
svn: r11638