[BRLTTY] [Aurelien Jarno] Bug#479754: libbrlapi-dev: /usr/share/man/man3/error.3.gz conflicts with manpages-dev

[Mario Lang]

Dave Mielke <dave at mielke.cc> writes:

>>2. The man3 directory is completely empty, why?  Should I have
>>   run make in the Documents directory manually?  If so, why?  
>
> Yes, because not all users have doxygen, sgmltools, etc. This was a conscious 
> decision. Perhaps it's no longer a valid reason, but, at one time, we certainly 
> believed it to be valid.

So how am I supposed to trigger the man3 installation exactly then?
Running "make -C Documents&&make install" in my build directory still does
not install them. I end up with an empty man3 directory again.
Am I missing something here?

-- 
CYa,
  ⡍⠁⠗⠊⠕ | Debian Developer <URL:http://debian.org/>
  .''`. | Get my public key via finger mlang/key at db.debian.org
 : :' : | 1024D/7FC1A0854909BCCDBE6C102DDFFC022A6B113E44
 `. `'
   `-      <URL:http://delysid.org/>  <URL:http://www.staff.tugraz.at/mlang/>