Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Alex D
GHC
Commits
7485d0ce
Commit
7485d0ce
authored
Nov 16, 2015
by
Ben Gamari
🐢
Committed by
Ben Gamari
Nov 16, 2015
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
ghc.mk: Make install_docs rule sh-compatible
parent
69822f0c
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
6 additions
and
6 deletions
+6
-6
ghc.mk
ghc.mk
+6
-6
No files found.
ghc.mk
View file @
7485d0ce
...
...
@@ -929,14 +929,14 @@ ifneq "$(INSTALL_LIBRARY_DOCS)" ""
$(INSTALL_SCRIPT)
$(INSTALL_OPTS)
libraries/gen_contents_index
"
$(DESTDIR)$(docdir)
/html/libraries/"
endif
ifneq
"$(INSTALL_HTML_DOC_DIRS)" ""
# We need to filter out the directories so install doesn't choke on them
for
i
in
$(INSTALL_HTML_DOC_DIRS)
;
do
\
$(INSTALL_DIR)
"
$(DESTDIR)$(docdir)
/html/
`
basename
$$
i
`
"
;
\
for
f
in
$$
i/
*
;
do
\
# We filter out the directories so install doesn't choke on them
\
if
test
-f
$$
f
;
then
\
$(INSTALL_DOC)
$(INSTALL_OPTS)
"
$$
f"
"
$(DESTDIR)$(docdir)
/html/
`
basename
$$
i
`
"
;
\
fi
\
done
\
for
f
in
$$
i/
*
;
do
\
if
test
-f
$$
f
;
then
\
$(INSTALL_DOC)
$(INSTALL_OPTS)
"
$$
f"
"
$(DESTDIR)$(docdir)
/html/
`
basename
$$
i
`
"
;
\
fi
\
done
\
done
endif
...
...
Write
Preview
Markdown
is supported
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