From 2dc8e5818e52c840d9f4da8d8fb627660da19d64 Mon Sep 17 00:00:00 2001 From: Niels Thykier Date: Sun, 1 May 2016 07:42:42 +0000 Subject: dh_installman: Replace zcat with new open_gz Signed-off-by: Niels Thykier --- doc/PROGRAMMING | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'doc/PROGRAMMING') 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: --------------- -- cgit v1.2.3