From fa0a461af929c06f7c96956369458456c26e7ad9 Mon Sep 17 00:00:00 2001 From: seino Date: Tue, 12 Sep 2023 13:57:20 +0900 Subject: [PATCH] Modify Makefile by changing directory name. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1711824a..e9da979f 100644 --- a/Makefile +++ b/Makefile @@ -54,7 +54,7 @@ STARBALLS = $(STARBALL16) TARSOURCES = Makefile *.c *.h COPYRIGHT* \ pg_hint_plan--*.sql \ pg_hint_plan.control \ - doc/* expected/*.out sql/*.sql sql/maskout*.sh \ + docs/* expected/*.out sql/*.sql sql/maskout*.sh \ data/data.csv SPECS/*.spec rpms: rpm16