#!/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