From 17f5745b4eb535ee873eb3e7dc7359d72ded017c Mon Sep 17 00:00:00 2001
From: pnenzi <pnenzi>
Date: Sun, 23 Jul 2000 09:23:34 +0000
Subject: [PATCH] Oops, forgot to insert a line in the previous commit

---
 configure.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure.in b/configure.in
index f0f7cdd19..b4f831418 100644
--- a/configure.in
+++ b/configure.in
@@ -197,6 +197,7 @@ doc/Makefile			\
 man/Makefile			\
 man/man1/Makefile		\
 src/Makefile			\
+src/spicelib/Makefile	\
 src/spicelib/devices/Makefile		\
 src/spicelib/devices/analysis/Makefile	\
 src/spicelib/devices/asrc/Makefile	\