From d7ce1ae0d657390411959ea4dca6bd22e3db6173 Mon Sep 17 00:00:00 2001 From: Vitaly Davydov Date: Tue, 19 Dec 2023 17:12:48 +0300 Subject: [PATCH] Implement pgindent-headers Makefile rule This rule executes pgindent with header files only. --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 14350ec..fe74e06 100644 --- a/Makefile +++ b/Makefile @@ -258,3 +258,10 @@ pgindent: --excludes=pgindent-excludes.list \ --indent=${PGBSDINDENT} \ src + +pgindent-headers: + $(PGINDENT) \ + --typedefs=pgindent-typedefs.list \ + --excludes=pgindent-excludes.list \ + --indent=${PGBSDINDENT} \ + src/*.h