Replace make with doit

Trevor Bekolay avatarTrevor Bekolay created an issue

My understanding of why Sphinx uses make / make.bat to generate artifacts is because it keeps track of things that have already been built so that it doesn't duplicate work.

I recently came across a Python tool called doit that shares this feature with make. I believe that it could be a very nice tool to use to get what Sphinx gets out of using make, but additionally keeps everything in Python-land, meaning that we wouldn't have both a Makefile and make.bat (everything would be in a dodo.py file) and it would be easier to generate Sphinx docs from within Python programs (import run parts of dodo.py).

My understanding is likely not complete though; are there other compelling reasons to stick with make / make.bat? Are there other features that would be necessary before thinking about switching? If there aren't any issues, I'm happy to try to implement this!

Comments (0)

  1. Log in to comment
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.