diff options
| author | Dan Gudmundsson <[email protected]> | 2013-12-20 10:44:42 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-12-20 10:44:42 +0100 |
| commit | 6f0b3bd3fc28de703490470630922873775c97f5 (patch) | |
| tree | 520b662b4459499e8c58b658285368d81334d326 /lib/observer/doc/src/Makefile | |
| parent | 0b68c48630311c5c97db50159c3076fa5b17a43d (diff) | |
| parent | 560f73141afbc1ef41d6c8acb3974b3632ad6f25 (diff) | |
| download | otp-6f0b3bd3fc28de703490470630922873775c97f5.tar.gz otp-6f0b3bd3fc28de703490470630922873775c97f5.tar.bz2 otp-6f0b3bd3fc28de703490470630922873775c97f5.zip | |
Merge branch 'dgud/remove-gs-apps/OTP-10915'
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 # ---------------------------------------------------- |