Skip to content

Moving from make.py to Makefile for sphinx-build #9712

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 11 commits into from
Closed

Moving from make.py to Makefile for sphinx-build #9712

wants to merge 11 commits into from

Conversation

NelleV
Copy link
Member

@NelleV NelleV commented Nov 7, 2017

"We still use an ancient make.py that is based on what early versions of sphinx-quickstart used to generate. We should probably modernize this to use a Makefile like current versions of sphinx create."

closes #5798

@anntzer
Copy link
Contributor

anntzer commented Nov 7, 2017

I still think that #9513 is a better fix...

  • there's no need to install conda on circleci.
  • there's no need to introduce custom targets in the makefile, we can directly use the one provided by sphinx (which is also much shorter now).
  • there's no need to modify the units examples.

@dopplershift
Copy link
Contributor

Why does this PR change to use conda on circleci?

Also, I'm completely confused as to why this PR needs to change the examples while #9513 doesn't.

@efiring
Copy link
Member

efiring commented Nov 7, 2017

@NelleV, what do you see as the advantages of this over #9513? The latter has the a priori advantage of brevity.

@NelleV
Copy link
Member Author

NelleV commented Nov 8, 2017

I've closed my PR. Both solution work, and I really don't care which one gets in.

@efiring
Copy link
Member

efiring commented Nov 8, 2017

@NelleV, thank you for getting this topic rolling.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use Makefile for sphinx build
5 participants