user-manual: failed push to public repository

diff --git a/mktag.c b/mktag.c
index b82e377bd826617810488ea8c92a4135bceebda6..38acd5a295d5f06fb2db60633e89a06ba634beb8 100644 (file)
--- a/mktag.c
+++ b/mktag.c
@@ -120,7 +120,7 @@ int main(int argc, char **argv)
 
        setup_git_directory();
 
-       if (read_pipe(0, &buffer, &size)) {
+       if (read_fd(0, &buffer, &size)) {
                free(buffer);
                die("could not read from stdin");
        }