zdharma-continuum / zinit

🌻 Flexible and fast ZSH plugin manager
MIT License
2.95k stars 126 forks source link

maint: update copy of `zinit.1` in `$ZPFX/man/` if out-of-date #382

Closed psprint closed 1 year ago

psprint commented 1 year ago

Description

Keep zinit.1 up to date by comparing timestamps of ~ZIBIN/doc/zinit.1 and of $ZPFX/man/man1/zinit.1 and copying if the ~ZIBIN one is more recent.

Motivation and Context

I've updated zinit.1 when changed README.md, and noticed that $ZPFX/man isn't updated. I've used pandoc from gh-r, the latest.

Related Issue(s)

381

How Has This Been Tested?

I've touched doc/zinit.1 and started a new zsh.

Types of changes

Checklist:

github-actions[bot] commented 1 year ago

:tada: This PR is included in version 3.8.0 :tada:

The release is available on GitHub release

Your semantic-release bot :package::rocket: