User manual still not installed

[Dirk Hohndel]

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
>         
> 
>