From 6f476448854b3775b806b6a07a530aa2b70ea02f Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 2 Aug 2009 11:42:02 +0000 Subject: Fix creation of library doc index, and put the library docs in bindists --- libraries/gen_contents_index | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'libraries') diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index index ea9f4b95e1..99efc8fcc6 100644 --- a/libraries/gen_contents_index +++ b/libraries/gen_contents_index @@ -7,12 +7,9 @@ NAMES= case $* in --inplace) - HADDOCK=../utils/haddock/install-inplace/bin/haddock - HADDOCK_FILES=`ls -1 */dist/doc/html/*/*.haddock | sort` - if [ -d dph ] - then - HADDOCK_FILES="$HADDOCK_FILES `ls -1 dph/*/dist/doc/html/*/*.haddock | sort`" - fi + HADDOCK=../inplace/bin/haddock + HADDOCK_FILES=`ls -1 */dist-install/doc/html/*/*.haddock | sort` + HADDOCK_FILES="$HADDOCK_FILES `ls -1 dph/*/dist-install/doc/html/*/*.haddock | sort`" ;; *) HADDOCK=../../../../bin/haddock -- cgit v1.2.1