summaryrefslogtreecommitdiffstats
path: root/mantools/check-double-proto-html
blob: df56184346f5a42f8981087980bfc6049e7cff9a (plain)
1
2
3
4
5
6
7
#!/bin/sh

# Finds double words in proto html files.

LANG=C; export LANG

ls proto/*.html proto/*.proto | xargs mantools/dehtml | mantools/find-double | grep -F -vxf proto/stop.double-proto-html