diff options
Diffstat (limited to 'Doc/tools/whichlibs')
| -rwxr-xr-x | Doc/tools/whichlibs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |