From c27396fce84cc804b288980381c68d11d476ce60 Mon Sep 17 00:00:00 2001
From: Luca Burlacu <64703924+LucaJetB@users.noreply.github.com>
Date: Wed, 18 Dec 2024 20:50:39 -0500
Subject: [PATCH] doc: add install targets for new manual pages.

Co-authored-by: Luca Burlacu <nychawk@lucas-mbp.myfiosgateway.com>
---
 doc/Makefile.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 73c0c754..0c519a2e 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -142,6 +142,9 @@ OBJECTS=CK_ARRAY_FOREACH		\
 	ck_pr_fence_store		\
 	ck_pr_fence_store_atomic	\
 	ck_pr_fence_store_load		\
+	ck_pr_fence_lock		\
+	ck_pr_fence_unlock		\
+	ck_pr_fence_acqrel		\
 	ck_pr_stall			\
 	ck_pr_faa			\
 	ck_pr_inc			\