From 8ffa21c7aa777feb01acd372112ad3363eee2189 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Fri, 8 May 1998 15:37:13 +0000 Subject: [PATCH] Adjust to new file layout. --- Doc/tools/whichlibs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/tools/whichlibs b/Doc/tools/whichlibs index 56287cbee36..10d44ee717a 100755 --- 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