#!/bin/sh
find -name "*.py" | grep -v {arch} | xargs grep -n "$1" Makefile.in
find -name Makefile | grep -v {arch} | xargs grep -n "$1"
cd online-docs/C && find -name "*.texi.m4" | xargs grep -n "$1"
