fixes `make distcheck'. it's so GNU to not ship manpages by default :/

Trying to maintain two branches was impossible at this stage for me alone, so I'll recognize my stupidity and merge the portable branch into the main one. The repository will build using autotools.