24 lines | 659 chars
1 | #!/bin/sh |
2 | |
3 | TMPDIR="${TMPDIR:-/tmp}" |
4 | |
5 | (cd $1/stdlib; ls -1 *.mli) | sed -e 's/\.mli//' >$TMPDIR/stdlib-$$-files |
6 | cut -c 1 $TMPDIR/stdlib-$$-files | tr a-z A-Z >$TMPDIR/stdlib-$$-initials |
7 | cut -c 2- $TMPDIR/stdlib-$$-files \ |
8 | | paste -d '\0' $TMPDIR/stdlib-$$-initials - >$TMPDIR/stdlib-$$-modules |
9 | |
10 | exitcode=0 |
11 | for i in `cat $TMPDIR/stdlib-$$-modules`; do |
12 | case $i in |
13 | Stdlib | Camlinternal* | *Labels | Obj | Pervasives) continue;; |
14 | esac |
15 | grep -q -e '"'$i'" & p\.~\\pageref{'$i'} &' $1/manual/manual/library/stdlib-blurb.etex || { |
16 | echo "Module $i is missing from stdlib-blurb.etex." >&2 |
17 | exitcode=2 |
18 | } |
19 | done |
20 | |
21 | rm -f $TMPDIR/stdlib-$$-* |
22 | |
23 | exit $exitcode |
24 |