diff --git a/Doc/tools/whichlibs b/Doc/tools/whichlibs
index b7efe14..56287cb 100755
--- a/Doc/tools/whichlibs
+++ b/Doc/tools/whichlibs
@@ -1,2 +1,2 @@
-#! /bin/sh
+#!/bin/sh
 sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex