Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Add sphinx support - core (ref #1385)#1565

Closed
AA-Turner wants to merge 108 commits into
python:masterpython/peps:masterfrom
AA-Turner:add-sphinx-support-coreAA-Turner/peps:add-sphinx-support-coreCopy head branch name to clipboard
Closed

Add sphinx support - core (ref #1385)#1565
AA-Turner wants to merge 108 commits into
python:masterpython/peps:masterfrom
AA-Turner:add-sphinx-support-coreAA-Turner/peps:add-sphinx-support-coreCopy head branch name to clipboard

Conversation

@AA-Turner

Copy link
Copy Markdown
Member

See #2, #1385 for context.

This is the core Sphinx support part, comprising

  • build.py,
  • conf.py,
  • Makefile,
  • pep2rss.py,
  • GitHub actions,
  • requirements.txt

Note: this is unlikely to successfully build, I am splitting into logical chunks as per Victor's comment.

Co-authored-by: Pradyun Gedam <3275593+pradyunsg@users.noreply.github.com>
@AA-Turner AA-Turner mentioned this pull request Apr 20, 2021
@AA-Turner AA-Turner closed this Apr 20, 2021
@AA-Turner AA-Turner mentioned this pull request Apr 20, 2021
pablogsal pushed a commit that referenced this pull request Jun 8, 2021
See #2, #1385 for context. Superseeds #1565.

This is the minimal core Sphinx support part, adding a bare minimum of useful things to get Sphinx to build and deploy, whilst not affecting the current build system. There is no theming or custom parsing needed to properly deal with PEPs.

- `build.py` - build script
- `conf.py` - Sphinx configuration
- `Makefile` - new targets for Sphinx
- `.gitignore` - add ignores for `venv` and `package` directories
- `contents.rst` - Sphinx page to discover all PEPs
- `deploy-gh-pages.yaml` - builds and deploys to github pages
- `requirements.txt`
pablogsal pushed a commit that referenced this pull request Jun 15, 2021
See #2, #1385 for context.

This is the RSS generation part, building on PR #1930. It contains the logic for generating RSS

This was originally in #1385 and #1565, split out for ease of review
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.

2 participants

Morty Proxy This is a proxified and sanitized view of the page, visit original site.