Printing nice docs from filePro -one more thing

[Boaz Bezborodko]

One thing I forgot to add about HTMLPRINT.  It uses a .ini configuration
file and you can tell it to use a different .ini file with the command
so you can specify which printer to use by specifying a different .ini
file.  And since it only cares about the printers' name you don't have
to change it so long as the printers are given the same name on each
computer.  This also means that networked printers work fine.

Boaz