mirror of
https://github.com/myhdl/myhdl.git
synced 2024-12-14 07:44:38 +08:00
3 lines
85 B
Bash
Executable File
3 lines
85 B
Bash
Executable File
#!/bin/sh
|
|
sed -n 's%^\\input{\(lib[a-zA-Z0-9_]*\)}.*%../lib/\1.tex%p' ../lib/lib.tex
|