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

Fix manpage generation in sh shell and gen-man.sh cleanup #275

Merged
merged 2 commits into from
Jun 5, 2023

Conversation

charles2910
Copy link
Contributor

@charles2910 charles2910 commented Jun 4, 2023

3a015f7 fix a escape char problem in sh (#274) and 710a5fc remove unused logic from gen-man script.

sh and, consequently, dash interpret some escaped characters as control
sequences, so an echo '\f' outputs a form feed. To avoid this problem
in manpage generation, we have to escape "\f" sequences.
The use of $DATE was removed in 7a5499d, but I forgot to remove this
logic from gen-man.sh.
@ikskuh ikskuh merged commit b6c0259 into ikskuh:master Jun 5, 2023
2 of 3 checks passed
@ikskuh
Copy link
Owner

ikskuh commented Jun 5, 2023

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants