diff options
author | Niels Thykier <niels@thykier.net> | 2016-05-01 07:42:42 +0000 |
---|---|---|
committer | Niels Thykier <niels@thykier.net> | 2016-05-01 07:43:22 +0000 |
commit | 2dc8e5818e52c840d9f4da8d8fb627660da19d64 (patch) | |
tree | 5475940060351c2108cc761886cd7e183453c7b5 /doc/PROGRAMMING | |
parent | e2420e4c81dd303be862a7de4048ed495bd6b316 (diff) | |
download | debhelper-2dc8e5818e52c840d9f4da8d8fb627660da19d64.tar.gz |
dh_installman: Replace zcat with new open_gz
Signed-off-by: Niels Thykier <niels@thykier.net>
Diffstat (limited to 'doc/PROGRAMMING')
-rw-r--r-- | doc/PROGRAMMING | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/PROGRAMMING b/doc/PROGRAMMING index 1f03bdfb..99449295 100644 --- a/doc/PROGRAMMING +++ b/doc/PROGRAMMING @@ -323,6 +323,12 @@ install_lib($src, $dest) Installs a library at the path $src into $dest. The parent dir of $dest must exist (can be created with install_dir). This is intended for installing libraries. +open_gz($file) + Open $file, read from it as a gzip-compressed file and return + the file handle. + Depending on runtime features, it might be a pipe from an + external process (which will die with a "SIGPIPE" if you + do not consume all the input) Sequence Addons: --------------- |