infrastructure-presentation.../makedep.sh

7 lines
165 B
Bash
Raw Permalink Normal View History

2016-11-05 22:18:25 +02:00
#!/bin/bash
for i in *.pandoc; do
pdfn=`echo $i|sed s/\.pandoc$/.pdf/`
echo $pdfn: `grep '^!' "$i"|cut -d \( -f 2|cut -d \) -f 1|cut -d ' ' -f 1|sort|uniq `
done