Browse Source

doc: move tools to check texinfo documentation to doc/texinfo/dev

Nathalie Furmento 12 years ago
parent
commit
831b4a22f7

tools/dev/starpu_check_documented.py → doc/texinfo/dev/starpu_check_documented.py


tools/dev/starpu_check_undocumented.sh → doc/texinfo/dev/starpu_check_undocumented.sh


tools/dev/starpu_funcs.cocci → doc/texinfo/dev/starpu_funcs.cocci