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

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