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.

Sign up for GitHub

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

Jump to bottom

dev-docs: a few changes #985

Merged
merged 3 commits into from
Apr 1, 2024
Merged

dev-docs: a few changes #985

merged 3 commits into from
Apr 1, 2024

Conversation

ThomasAdam
Copy link
Member

This PR does the following:

  • Change DEVELOPERS.md file to s/master/main WRT the branch name. main has been the default for ages.
  • Update INSTALL.md to mention the --enable-htmldoc option.
  • Change TODO.md to mark completed items.

@ThomasAdam
DEVELOPERS.md: master -> main
eb98ef3 
The default branch has been "main" for a while, but the documentation
wasn't updated to reflect this.
@ThomasAdam
INSTALL.md: mention --enable-htmldoc
668e6f6 
Mention the --enable-htmldoc flag to ./configure to generate HTML pages.
@ThomasAdam
TODO.md: mark some actions as completed
60764f7
@ThomasAdam ThomasAdam self-assigned this Mar 31, 2024
@ThomasAdam ThomasAdam added the area:doc Relates to documentation only label Mar 31, 2024
@ThomasAdam ThomasAdam added this to the 1.1.1 milestone Mar 31, 2024
@ThomasAdam ThomasAdam merged commit 1758aaa into main Apr 1, 2024
5 checks passed
@ThomasAdam ThomasAdam deleted the ta/update-docs branch April 1, 2024 00:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@ThomasAdam ThomasAdam

Labels
area:doc Relates to documentation only
Projects
FVWM3
Status: Done
Milestone
1.1.1
Development

Successfully merging this pull request may close these issues.
1 participant
@ThomasAdam