diff options
| author | Dan Gudmundsson <[email protected]> | 2013-11-11 12:50:58 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-11-11 12:55:59 +0100 |
| commit | 8217d8dc329f53e182ae38e4659cdc8dbc8dd728 (patch) | |
| tree | d9b67e92b83511687fdd1e87e0751f337c0ab5af /lib/observer/doc/src/Makefile | |
| parent | f77b4655155009f546e2fc6265ee454d203dfba2 (diff) | |
| download | otp-8217d8dc329f53e182ae38e4659cdc8dbc8dd728.tar.gz otp-8217d8dc329f53e182ae38e4659cdc8dbc8dd728.tar.bz2 otp-8217d8dc329f53e182ae38e4659cdc8dbc8dd728.zip | |
Remove etop gui
Use observer for the gui part
Diffstat (limited to 'lib/observer/doc/src/Makefile')
| -rw-r--r-- | lib/observer/doc/src/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/observer/doc/src/Makefile b/lib/observer/doc/src/Makefile index 0f564d3299..b43aeccd73 100644 --- a/lib/observer/doc/src/Makefile +++ b/lib/observer/doc/src/Makefile @@ -68,10 +68,6 @@ ONLY_HTML_FILE = \ GIF_FILES = \ et_processes.gif \ et_modsprocs.gif \ - etop_main.gif \ - etop_5.gif \ - etop_lines.gif \ - etop_opt.gif \ note.gif # ---------------------------------------------------- |