Parent Directory | Revision Log | Revision Graph
Adding extra online manual customisation tools
1 | #!/bin/csh -f |
2 | set ofile = `echo ${argv[1]}_fignum` |
3 | echo ${argv[1]}_fignum |
4 | awk -f ../tools/fignum.awk ${argv[1]} | \ |
5 | sed s'/.*\(Figure[^<]*\).*/\1/' \ |
6 | > ${ofile} |
ViewVC Help | |
Powered by ViewVC 1.1.22 |