direct-io.hg

view docs/Doxyfilter @ 7504:3843e518e092

Use standard int typedefs.

Signed-off-by: John Levon <levon@movementarian.org>
author kaf24@firebug.cl.cam.ac.uk
date Thu Oct 27 17:16:12 2005 +0100 (2005-10-27)
parents 06d84bf87159
children
line source
1 #!/bin/sh
3 #
4 # Doxyfilter <source-root> <filename>
5 #
7 dir=$(dirname "$0")
9 PYFILTER="$dir/pythfilter.py"
11 if [ "${2/.py/}" != "$2" ]
12 then
13 python "$PYFILTER" -r "$1" -f "$2"
14 else
15 cat "$2"
16 fi