User manual still not installed

[Willem Ferguson]

I can confirm it fails in Ubuntu. Cannot find /usr/bin/Documentation.
Kind regards,
willemf


On 15/12/2013 16:53, Dirk Hohndel wrote:
>
> I love how the phone turned the most important part of my question
> "which OS" into something entirely non-sensical...
>
> :-)
>
> As to your question. That confuses me.
>
> We call
>
> make -C <prefix>/Documentation OUT=<prefix>/Documentation/ doc
>
> (where prefix is the absolute path to the Subsurface sources).
> And that should get user-manual.html created in the Documentation
> directory. You're saying this is failing on Ubuntu?
>
> /D
>
> On Sun, 2013-12-15 at 16:44 +0200, Miika Turkia wrote:
>> I noticed this on Ubuntu (if that is what you are asking).
>>
>>
>> miika
>>
>>
>>
>> On Sun, Dec 15, 2013 at 5:34 AM, Dirk Hohndel <dirk at hohndel.org>
>> wrote:
>>          On which is?
>>          ---
>>          From my phone
>>          
>>          
>>          Miika Turkia <miika.turkia at gmail.com> wrote:
>>          
>>          Seems that the user manual installs only images, not the
>>          actual documentation. If I read "make -n" correctly, the
>>          user-manual.html is created under source directory, not under
>>          build directory. Thus copy from build to the install dir
>>          fails.
>>          
>>          miika
>>          
>>
>>
>
> _______________________________________________
> subsurface mailing list
> subsurface at hohndel.org
> http://lists.hohndel.org/cgi-bin/mailman/listinfo/subsurface
>