#!/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
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-09-27]