- sed -e "s/char[[:space:]]*\*[[:space:]]*argv\[\]/char **argv/g"
diff --git a/scripts/basic/docproc.c b/scripts/basic/docproc.c
index cb02baa..d9db84a 100644
--- a/scripts/basic/docproc.c
+++ b/scripts/basic/docproc.c
@@ -331,7 +331,7 @@
 }
 
 
-int main(int argc, char *argv[])
+int main(int argc, char **argv)
 {
 	FILE * infile;
 	if (argc != 3) {