0b3625d fix htmldoc build for 8250 rename. Patch from Kyle McMartin

Authored and Committed by jforbes 11 years ago
    fix htmldoc build for 8250 rename. Patch from Kyle McMartin
    
        
file modified
+5 -0