Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
4d0d0e54
Commit
4d0d0e54
authored
Oct 25, 2007
by
Simon Marlow
Browse files
fix the links in the library documentation index
parent
f6e429f8
Changes
2
Hide whitespace changes
Inline
Side-by-side
libraries/Makefile
View file @
4d0d0e54
...
...
@@ -285,7 +285,7 @@ $(foreach SUBDIR,$(SUBDIRS),$(SUBDIR)/GNUmakefile):\
.PHONY
:
doc
doc
:
$(foreach SUBDIR
,
$(SUBDIRS)
,
doc.library.$(SUBDIR))
sh gen_contents_index
sh gen_contents_index
--inplace
$(foreach SUBDIR,$(SUBDIRS),doc.library.$(SUBDIR))
:
\
doc.library.%: stamp/configure.library.build$(CONFIGURE_STAMP_EXTRAS).%
\
...
...
libraries/gen_contents_index
View file @
4d0d0e54
...
...
@@ -2,12 +2,34 @@
set
-e
if
[
-e
base/dist
]
then
HADDOCK_FILES
=
`
ls
-1
*
/dist/doc/html/
*
/
*
.haddock |
sort
`
else
HADDOCK_ARGS
=
NAMES
=
case
$*
in
--inplace
)
GHC_PKG
=
../utils/ghc-pkg/ghc-pkg-inplace
for
DIR
in
*
/
do
NAME
=
${
DIR
%/
}
HADDOCK_FILE
=
$NAME
/dist/doc/html/
$NAME
/
$NAME
.haddock
if
[
-f
$HADDOCK_FILE
]
then
FULLNAME
=
$NAME
-
`
$GHC_PKG
field
$NAME
version |
sed
's#^version: *##'
`
HADDOCK_ARGS
=
"
$HADDOCK_ARGS
--read-interface=
$FULLNAME
,
$HADDOCK_FILE
"
NAMES
=
"
$NAMES
$NAME
"
fi
done
;;
*
)
HADDOCK_FILES
=
`
ls
-1
*
/
*
.haddock |
sort
`
fi
for
HADDOCK_FILE
in
$HADDOCK_FILES
do
NAME
=
`
echo
"
$HADDOCK_FILE
"
|
sed
"s#/.*##"
`
HADDOCK_ARGS
=
"
$HADDOCK_ARGS
--read-interface=
$NAME
,
$HADDOCK_FILE
"
NAMES
=
"
$NAMES
$NAME
"
done
;;
esac
# Automagically create the prologue for the combined index via a
# header, the package prologues (in alphabetical order of the
...
...
@@ -16,15 +38,13 @@ fi
cat
libraries-header.txt
echo
# Hack to find out if we're in a build tree or installed docs
for
HADDOCK_FILE
in
$HADDOCK_FIL
ES
for
NAME
in
$NAM
ES
do
NAME
=
`
echo
"
$HADDOCK_FILE
"
|
sed
"s#/.*##"
`
if
[
"
$NAME
"
!=
haskell98
]
then
echo
"[@
${
NAME
}
@]"
grep
-v
'^ *$$'
"
$NAME
"
/prologue.txt
echo
HADDOCK_ARGS
=
"
$HADDOCK_ARGS
--read-interface=
$NAME
,
$HADDOCK_FILE
"
fi
done
cat
libraries-footer.txt
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment