14a672054Schristos#!/bin/sh 24a672054Schristos 34a672054Schristos# Finds double words in proto html files. 44a672054Schristos 54a672054SchristosLANG=C; export LANG 64a672054Schristos 7*059c16a8Schristosls proto/*.html proto/*.proto | xargs mantools/dehtml | mantools/find-double | grep -F -vxf proto/stop.double-proto-html 8