#! /bin/bash -e
# Last edited on 2026-01-02 17:33:27 by stolfi

# Finds all files that are worth grepping for something
# under the current directory,
# and writes their pathnames to ".to-grep"

( \
  find ${@} \
    -name 'docs' -prune -o \
    -name 'JUNK' -prune -o \
    -name 'text16*' -prune -o  \
    -name 'tcmt16*' -prune -o  \
    -name 'Notebook*' -prune -o  \
    -name '[.][a-zA-Z0-9]*' -prune -o  \
    -name '00-TO-SORT' -prune -o  \
    -name 'text25rz*' -prune -o  \
    -name 'FromQuimQu' -prune -o  \
    -name '*weltwoche*' -prune -o  \
    -name 'Grenswet*' -prune -o  \
    -name 'email-arch' -prune -o  \
    -name 'main.wds' -prune -o  \
    -name 'main.src' -prune -o  \
    -name '*~' -prune -o  \
    -type f \
      \( \
        -name '00-README' -o \
        -name 'README.md' -o \
        -name '*.txt' -o \
        -name '*.eva' -o \
        -name '*.evt' -o \
        -name '*.tex' -o \
        -name '*.bib' -o \
        -name '*.html' -o \
        -name '*.hsrc' -o \
        -name '*.make' -o \
        -name 'Makefile' -o \
        -name '*.pov' -o \
        -name '*.inc' -o \
        -name '*.gawk' -o \
        -name '*.gpl' -o \
        -name '*.sh' -o \
        -name '*.csh' -o \
        -name '*.py' \
      \) \
    -print \
) \
  | sort | uniq \
  > .to-grep

# wc -l .to-grep 1>&2