chickadee » setup-helper » document-filename

document-filename FILEprocedure

Returns a "html" filename for FILE.