User-agent: *
Disallow: /ports.php
Disallow: desktopbsd/ports.php
Disallow: dragonfly/ports.php
Disallow: freebsd/ports.php
Disallow: gnukfreebsd/ports.php
Disallow: mirbsd/ports.php
Disallow: netbsd/ports.php
Disallow: openbsd/ports.php
Disallow: pcbsd/ports.php
Disallow: /devices.php
Disallow: desktopbsd/devices.php
Disallow: dragonfly/devices.php
Disallow: freebsd/devices.php
Disallow: gnukfreebsd/devices.php
Disallow: mirbsd/devices.php
Disallow: netbsd/devices.php
Disallow: openbsd/devices.php
Disallow: pcbsd/devices.php