Adjust to new file layout.

1998-05-08 15:37:13 +00:00 · 1998-05-08 15:37:13 +00:00 · 8ffa21c7aa
parent 47fd8fed7c
commit 8ffa21c7aa
1 changed files with 1 additions and 1 deletions
--- 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