diff options
Diffstat (limited to 'lib/observer/doc')
| -rw-r--r-- | lib/observer/doc/src/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/observer/doc/src/Makefile b/lib/observer/doc/src/Makefile index c2f5aff5a0..e952808164 100644 --- a/lib/observer/doc/src/Makefile +++ b/lib/observer/doc/src/Makefile @@ -64,8 +64,7 @@ XML_FILES = \ $(XML_PART_FILES) $(XML_REF1_FILES) $(XML_REF3_FILES) \ $(XML_APPLICATION_FILES) $(XML_REF6_FILES) -ONLY_HTML_FILE = \ - crashdump_help.html +ONLY_HTML_FILE = GIF_FILES = \ et_processes.gif \ |