Skip to content
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

Split command and configuration pages #2

Closed

Conversation

ilmari
Copy link

@ilmari ilmari commented Jul 28, 2023

Each <div class="section1"> except the introduction is split into a page suffixed by the <span class="id"> value, and the TOC links are fixed up to match using the split-doc.pl script.

Posbile TODOs:

  • remove redundant $section/ prefixes on anchors in the split-out pages
  • add javscript to the main pages to redirect now-broken anchor links to the new pages
  • add up/next/prev links between pages

Fixes pgbackrest/pgbackrest#2128

@ilmari ilmari force-pushed the split-command-configuration-pages branch from 55cc88f to 98c252f Compare July 28, 2023 14:03
Each `<div class="section1">` except the introduction is split into a
page suffixed by the `<span class="id">` value, and the TOC links are
fixed up to match using the `split-doc.pl` script.

Posbile TODOs:

- remove redundant `$section/` prefixes on anchors in the split-out pages
- add javascript to redirect now-broken anchor links to the split-out pages
- add up/next/prev links between pages

Fixes pgbackrest/pgbackrest#2128
@ilmari ilmari force-pushed the split-command-configuration-pages branch from 98c252f to fb20825 Compare July 28, 2023 14:10
@dwsteele dwsteele self-requested a review August 21, 2023 13:15
@dwsteele dwsteele self-assigned this Aug 21, 2023
@dwsteele dwsteele removed their request for review August 21, 2023 13:16
@dwsteele
Copy link
Member

This repository holds automated output from release.pl in the pgbackrest project. See https://github.com/pgbackrest/pgbackrest/blob/release/2.47/doc/RELEASE.md#deploy-web-documentation-to-docsite. So, we can't accept any pull requests here.

We could possibly port your script over to the pgbackrest project, but our output is carefully formatted to allow us to easily diff documentation over releases to audit changes. In general I agree with this change, but not sure this is the way to go about it.

@dwsteele dwsteele closed this Aug 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
2 participants