#!/usr/bin/awk -f { gsub("curl/curl.h","gnurl/curl.h"); gsub("TH curl_", "TH gnurl_"); gsub("TH CURL", "TH GNURL"); gsub("libcurl Manual", "libgnurl Manual"); gsub("man3/curl", "man3/gnurl"); print $0 }