From 8217d8dc329f53e182ae38e4659cdc8dbc8dd728 Mon Sep 17 00:00:00 2001 From: Dan Gudmundsson Date: Mon, 11 Nov 2013 12:50:58 +0100 Subject: Remove etop gui Use observer for the gui part --- lib/observer/doc/src/Makefile | 4 ---- 1 file changed, 4 deletions(-) (limited to 'lib/observer/doc/src/Makefile') 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 # ---------------------------------------------------- -- cgit v1.2.3