]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71b02c0) | patch
*.mk, *.grep: Move grep patterns to .grep files
authorAlejandro Colomar <alx@kernel.org>
Mon, 1 May 2023 23:56:52 +0000 (01:56 +0200)
committerAlejandro Colomar <alx@kernel.org>
Mon, 1 May 2023 23:57:03 +0000 (01:57 +0200)
commit5a0d9ed151e6449d978fabdd654cacc17b20a235
tree633cc33e08006c960a1b3f8a60a27c6cbeae7288tree
parent71b02c050d977e2d1eaf659ccb279819c5a4cf95commit | diff
*.mk, *.grep: Move grep patterns to .grep files

This simplifies the makefiles, and has the benefit that we can edit them
without editing the makefile (thus without causing unnecessary rebuilds).

Suggested-by: Bjarni Ingi Gislason <bjarniig@simnet.is>
Signed-off-by: Alejandro Colomar <alx@kernel.org>
share/lint/groff/man.ignore.grep [new file with mode: 0644] blob
share/lint/mandoc/man.ignore.grep [new file with mode: 0644] blob
share/lint/mandoc/mdoc.ignore.grep [new file with mode: 0644] blob
share/mk/build/catman.mk diff | blob | blame | history
share/mk/lint/man/man.mk diff | blob | blame | history
share/mk/lint/man/mdoc.mk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.