# robots.txt for www.city.katsuyama.fukui.jp
User-agent: *
Disallow: /portal/