diff options
| author | Lukas Larsson <[email protected]> | 2014-01-08 18:54:15 +0100 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2014-02-24 15:16:03 +0100 |
| commit | cd69c2a54201b4e0c4ba86d4248937120e1957e7 (patch) | |
| tree | d9bdfe069adfb87d850f609753a342e4c9b4e899 /system/doc/top/Makefile | |
| parent | b309ad9b4a3e4ff2d6d3a6e6270d37355a798bb1 (diff) | |
| download | otp-cd69c2a54201b4e0c4ba86d4248937120e1957e7.tar.gz otp-cd69c2a54201b4e0c4ba86d4248937120e1957e7.tar.bz2 otp-cd69c2a54201b4e0c4ba86d4248937120e1957e7.zip | |
ose: Create OSE application
Create an specific OSE application that mainly contains documentation
around the OSE specific part of Erlang/OTP.
Diffstat (limited to 'system/doc/top/Makefile')
| -rw-r--r-- | system/doc/top/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/doc/top/Makefile b/system/doc/top/Makefile index 20ef9fe781..6524f90223 100644 --- a/system/doc/top/Makefile +++ b/system/doc/top/Makefile @@ -114,7 +114,7 @@ $(INDEX_SCRIPT): $(INDEX_SRC) $(ERLC) -o$(EBIN) +warn_unused_vars $< # We don't list toc_*.html as targets because we don't know -$(HTMLDIR)/index.html + $(HTMLDIR)/applications.html: $(INDEX_SCRIPT) +$(HTMLDIR)/index.html + $(HTMLDIR)/applications.html: $(INDEX_SCRIPT) $(TEMPLATES) echo "Generating index $@" # Check if we are building the index from source or an installed release if test "$$RELEASE_ROOT" = "" ; then \ |