From 2245a958063244ab9efa5c670810b32a9a1add76 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 23 Sep 2023 17:18:45 -0700 Subject: [PATCH] wc: distribute src/wc.h * src/local.mk (noinst_HEADERS): Add src/wc.h. --- src/local.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/local.mk b/src/local.mk index f6c5946700..ed5d46ddbb 100644 --- a/src/local.mk +++ b/src/local.mk @@ -60,7 +60,8 @@ noinst_HEADERS = \ src/statx.h \ src/system.h \ src/temp-stream.h \ - src/uname.h + src/uname.h \ + src/wc.h EXTRA_DIST += \ src/dcgen \ -- 2.47.2