Adjust to new file layout.

freddrake · freddrake · commit 8ffa21c7aa77 · 1998-05-08T15:37:13.000Z
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`#!/bin/sh`
`2`		`-sed -n 's/^\\input{\(lib[a-zA-Z0-9_]\)}./\1.tex/p' lib.tex`
	`2`	`+sed -n 's%^\\input{\(lib[a-zA-Z0-9_]\)}.%../lib/\1.tex%p' ../lib/lib.tex`