[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Problem generating HTML documentation: No file.

From: Georg-Johann Lay
Subject: Problem generating HTML documentation: No file.
Date: Wed, 19 Feb 2020 13:01:54 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0

Hi, I am trying to make HTML documentation, but I am getting the following error:

$ make html
Making html in examples
make[2]: Entering directory '.../build/gsl-2.6-mingw32/doc/examples'
make[2]: Nothing to be done for 'html'.
make[2]: Leaving directory '.../build/gsl-2.6-mingw32/doc/examples'
Error: Config directory doesn't contain a file.

I configured with:

$ ../../source/gsl-2.6/configure --host=i686-w64-mingw32 --prefix=.../install/gmp-mingw32 --with-gnu-ld --enable-static --disable-shared

and also installed sphinx-build.

Can you give me some help to fix this problem?

$builddir/doc/Makefile reads:

EXTRA_DIST = $(man_MANS) $(noinst_DATA) gsl-design.texi
SPHINX_BUILD = sphinx-build

But there is no anywhere in $builddir. I only find in $srcdir/doc. Is this correct?

Thanks, Johann

reply via email to

[Prev in Thread] Current Thread [Next in Thread]