DOKK / manpages

Man pages matching name machineparameters in section 3tcl:

machineparameters.3tcl.en debian 10 / tcllib
machineparameters.3tcl.en debian 11 / tcllib
machineparameters.3tcl.en debian 12 / tcllib