diff docs/Makefile @ 537:62cd970aea9c

Replace the use of "deprecated" egrep calls with "grep -E"
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 09 Sep 2024 14:28:55 +0200
parents 86d8929e4747
children
line wrap: on
line diff