mirror of
https://github.com/dimitri/pgloader.git
synced 2025-08-10 08:17:00 +02:00
pgloader.1: include compiled man page for packaging convenience
Allows packaging systems like Homebrew to install manual pages automatically for users without introducing a dependency on the manual page build system.
This commit is contained in:
parent
56fd8e3368
commit
7ec2ca30e8
1
.gitignore
vendored
1
.gitignore
vendored
@ -1,6 +1,5 @@
|
|||||||
.vagrant
|
.vagrant
|
||||||
local-data
|
local-data
|
||||||
pgloader.1
|
|
||||||
pgloader.html
|
pgloader.html
|
||||||
pgloader.pdf
|
pgloader.pdf
|
||||||
debian/pgloader.debhelper.log
|
debian/pgloader.debhelper.log
|
||||||
|
1851
pgloader.1
Normal file
1851
pgloader.1
Normal file
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue
Block a user