list portfolio_util.h in Makefile, so it gets distributed (fixes debian build)

diff --git a/src/main/Makefile.am b/src/main/Makefile.am
index 2a1ce0d55536977d4a57742084d587539c83a2b6..4524929d4a67206bce3356a0075e684a599f419b 100644 (file)
--- a/src/main/Makefile.am
+++ b/src/main/Makefile.am
@@ -20,6 +20,7 @@ pcvc4_SOURCES = \
        portfolio.cpp \
        portfolio.h \
        portfolio_util.cpp \
+       portfolio_util.h \
        command_executor.cpp \
        command_executor_portfolio.cpp \
        command_executor.h \