--- a/src/makesrcdist.sh
+++ b/src/makesrcdist.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# @(#$Id: makesrcdist.sh,v 1.9 2006-02-01 07:12:14 dockes Exp $  (C) 2005 J.F.Dockes
+# @(#$Id: makesrcdist.sh,v 1.10 2006-09-23 13:13:49 dockes Exp $  (C) 2005 J.F.Dockes
 # A shell-script to make a recoll source distribution
 
 #set -x
@@ -50,7 +50,11 @@
 
 echo "Dumping html documentation to text files"
 links -dump ${RECOLLDOC}/usermanual.html >> README
+
 links -dump ${RECOLLDOC}/rcl.install.html >> INSTALL
+links -dump ${RECOLLDOC}/rcl.install.external.html >> INSTALL
+links -dump ${RECOLLDOC}/rcl.install.building.html >> INSTALL
+links -dump ${RECOLLDOC}/rcl.install.config.html >> INSTALL
 
 cvs commit -m '' README INSTALL