#211 makefile: "make docs" from root dir and "make html" from docs/ dir yield different results
Closed: Fixed None Opened 9 years ago by kparal.

Instead of going into docs/ and running make html, I accidentally stayed in the root libtaskotron directory and executed make docs (bad memory, you know). But I saw the usual output (sphinx messages), so I didn't suspect anything. But I was surprised by actually seeing much older docs than I expected. I assume I was looking at some very old docs, from the last time I generated it locally (to the location of docs/build). I also noticed a new directory docs/_build/ having been created and untracked by git. I assume that was the location where the new docs were generated.

So, let's make it consistent. Lets either make docs command work from the root directory (redirect it to run make html from docs/ directory, and thus generate the docs to the correct location), or remove it completely, so that it's not confusing what to run and where.


I think this has been effectively resolved with the move from Makefile to doit, closing. please re-open if I'm in error on this

Login to comment on this ticket.

Metadata