diff options
| author | Milton Mazzarri <[email protected]> | 2018-03-04 09:31:14 -0600 |
|---|---|---|
| committer | Milton Mazzarri <[email protected]> | 2018-07-14 14:07:50 -0500 |
| commit | 435de985cf35362c5df97fdad65dd4a06c18d586 (patch) | |
| tree | 0c8caee8281b7a601ab92421d0666680c7d175dd /lib/tools/src/Makefile | |
| parent | e781967c7902b98e90a05a23a7e6888014709a96 (diff) | |
| download | otp-435de985cf35362c5df97fdad65dd4a06c18d586.tar.gz otp-435de985cf35362c5df97fdad65dd4a06c18d586.tar.bz2 otp-435de985cf35362c5df97fdad65dd4a06c18d586.zip | |
Improve Cover HTML page
* Adapt diff colors to bring more contrast
* Use monospace font for all the code in cover HTML report
* Specify background color for the body as white
* Reduce font-size for header
* Install cover stylesheet when making release (@sirihansen made this improvement)
* Additional changes based on feedback
Diffstat (limited to 'lib/tools/src/Makefile')
| -rw-r--r-- | lib/tools/src/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/tools/src/Makefile b/lib/tools/src/Makefile index 032bd612db..a869ae6a00 100644 --- a/lib/tools/src/Makefile +++ b/lib/tools/src/Makefile @@ -72,6 +72,9 @@ APP_TARGET = $(EBIN)/$(APP_FILE) APPUP_SRC = $(APPUP_FILE).src APPUP_TARGET = $(EBIN)/$(APPUP_FILE) +PRIVDIR = ../priv +CSS = $(PRIVDIR)/styles.css + # ---------------------------------------------------- # FLAGS # ---------------------------------------------------- @@ -110,5 +113,7 @@ release_spec: opt $(INSTALL_DIR) "$(RELSYSDIR)/ebin" $(INSTALL_DATA) $(TARGET_FILES) $(APP_TARGET) $(APPUP_TARGET) \ "$(RELSYSDIR)/ebin" + $(INSTALL_DIR) "$(RELSYSDIR)/priv" + $(INSTALL_DATA) $(CSS) "$(RELSYSDIR)/priv" release_docs_spec: |