# HG changeset patch
# User ladanyi
# Date 1083884701 0
# Node ID 9732e5fa423cf2bfa8ac915bec0d0734db294a31
# Parent  0ed29fe9d071b02c07602b75d44abbb33458c0ee
We need to distribute the headers in 'skeletons' too.

diff -r 0ed29fe9d071 -r 9732e5fa423c src/hugo/Makefile.am
--- a/src/hugo/Makefile.am	Thu May 06 22:24:02 2004 +0000
+++ b/src/hugo/Makefile.am	Thu May 06 23:05:01 2004 +0000
@@ -10,3 +10,7 @@
 	time_measure.h							\
 	unionfind.h							\
 	xy.h
+
+noinst_HEADERS =							\
+	skeletons/graph.h						\
+	skeletons/maps.h