bootandy/archived-dust
1
0
Fork 0
mirror of https://github.com/bootandy/dust.git synced 2026-06-08 11:29:05 +03:00
Code Issues 21 Packages Projects Releases 10 Wiki Activity

[PR #304] [MERGED] generate a man page as part of the build #413

New Issue
Closed
opened 2026-06-08 11:28:01 +03:00 by zhus · 0 comments
zhus commented 2026-06-08 11:28:01 +03:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/bootandy/dust/pull/304
Author: @alexanderkjall
Created: 1/27/2023
Status: ✅ Merged
Merged: 1/28/2023
Merged by: @bootandy

Base: master ← Head: generate-man-page

📝 Commits (2)

  • 2472606 generate a man page as part of the build
  • f0834c0 use create_dir_all instead of create_dir as that doesn't fail if the directory already exists, and make sure to propagate the error out

📊 Changes

4 files changed (+111 additions, -0 deletions)

View changed files

📝 Cargo.lock (+17 -0)
📝 Cargo.toml (+1 -0)
📝 build.rs (+9 -0)
➕ man-page/dust.1 (+84 -0)

📄 Description

This writes the man page to the source code repository and I have checked in the resulting file.

I'm not very certain that the way you want to have this done, but I tried to follow the pattern of how the command completion files are generated.

Please come with feedback or nitpicks and I can rework the PR :)

closes #45

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/bootandy/dust/pull/304 **Author:** [@alexanderkjall](https://github.com/alexanderkjall) **Created:** 1/27/2023 **Status:** ✅ Merged **Merged:** 1/28/2023 **Merged by:** [@bootandy](https://github.com/bootandy) **Base:** `master` ← **Head:** `generate-man-page` --- ### 📝 Commits (2) - [`2472606`](https://github.com/bootandy/dust/commit/24726067042c3b27c5270c2de7109d2a403344a5) generate a man page as part of the build - [`f0834c0`](https://github.com/bootandy/dust/commit/f0834c03b616c6a13e2705d069f18cdfc2880c0b) use create_dir_all instead of create_dir as that doesn't fail if the directory already exists, and make sure to propagate the error out ### 📊 Changes **4 files changed** (+111 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `Cargo.lock` (+17 -0) 📝 `Cargo.toml` (+1 -0) 📝 `build.rs` (+9 -0) ➕ `man-page/dust.1` (+84 -0) </details> ### 📄 Description This writes the man page to the source code repository and I have checked in the resulting file. I'm not very certain that the way you want to have this done, but I tried to follow the pattern of how the command completion files are generated. Please come with feedback or nitpicks and I can rework the PR :) closes #45 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
zhus added the pull-request label 2026-06-08 11:28:01 +03:00
zhus closed this issue 2026-06-08 11:28:02 +03:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
good first issue
help wanted
pull-request
Mirrored from GitHub Pull Request
 windows help wanted
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
zhus (Sergey Zhukov)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: bootandy/archived-dust#413
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?