add MLton docs
buildd setup page also refers to porterboxen
|Deletions are marked like this.||Additions are marked like this.|
|Line 28:||Line 28:|
|* [[PortsDocs/BuilddSetup|Setting up one or multiple buildd instances with scripts]]||* [[PortsDocs/BuilddSetup|Setting up one or multiple buildd or porterbox instances with scripts]]|
This page is a complement to the official list of Debian ports.
If you would like to add a new port, please enter the codename of the new port in lower case. You will then be able to fill out the template with information about your port, have an idea of how to go about creating the port and read documentation below for more details.
|/arc /ia64 /loongarch64 /riscv64|
?Configuring the mail daemon on a buildd manually