+ wfcqueue/Makefile.cds_wfcq_dequeue \
+ wfcqueue/Makefile.cds_wfcq_splice \
+ wfcqueue/cds_wfcq_enqueue.c \
+ wfcqueue/cds_wfcq_dequeue.c \
+ wfcqueue/cds_wfcq_splice.c
+
+doc_examples_wfstackdir = ${doc_examplesdir}/wfstack
+
+dist_doc_examples_wfstack_DATA = \
+ wfstack/Makefile \
+ wfstack/Makefile.cds_wfs_push \
+ wfstack/Makefile.cds_wfs_pop \
+ wfstack/Makefile.cds_wfs_pop_all_blocking \
+ wfstack/cds_wfs_push.c \
+ wfstack/cds_wfs_pop.c \
+ wfstack/cds_wfs_pop_all_blocking.c