debian/haddock.1