Skip to content

Fix minor doc formatting issues - #368

Merged
theory merged 1 commit into
mainfrom
fix-docs
Jul 18, 2026
Merged

Fix minor doc formatting issues#368
theory merged 1 commit into
mainfrom
fix-docs

Conversation

@theory

@theory theory commented Jul 18, 2026

Copy link
Copy Markdown
Owner

Fix a couple of documentation formatting issues and move the is_member_of() examples below the description. Also update the html target in the Makefile to use proper targets for each of the files it generates, and eliminate the generation of the doc/pgtap.html1 backup file by tools/tocgen.

@theory theory self-assigned this Jul 18, 2026
Fix a couple of documentation formatting issues and move the
`is_member_of()` examples below the description. Also update the `html`
target in the `Makefile` to use proper targets for each of the files it
generates, and eliminate the generation of the `doc/pgtap.html1` backup
file by `tools/tocgen`.
@theory
theory merged commit 4add5cd into main Jul 18, 2026
36 checks passed
@theory
theory deleted the fix-docs branch July 18, 2026 15:56
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.

1 participant