mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add man pages for pull and push to cabal file

Browse source
This commit is contained in:
Joey Hess 2023-05-18 12:54:15 -04:00
parent 28c4051e3d
commit 80e9a655f8
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
git-annex.cabal
View file

@ -103,6 +103,8 @@ Extra-Source-Files:
doc/git-annex-pre-commit.mdwn
doc/git-annex-preferred-content.mdwn
doc/git-annex-proxy.mdwn
doc/git-annex-pull.mdwn
doc/git-annex-push.mdwn
doc/git-annex-readpresentkey.mdwn
doc/git-annex-registerurl.mdwn
doc/git-annex-reinit.mdwn