fixed a bug in doc/make.py, small_docs was not defined when make.py was
run without options
Authored by: dsdale 2008-12-17
Parent: [r6654]
Child: [r6656]
