Adjust to new file layout.

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