doc: Remove one dupplicated image and a 10 years old unused graph that I don't unders...

diff --git a/.gitignore b/.gitignore
index 5608147..8c29755 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -74,7 +74,6 @@ doc/org/
 doc/overview-frame.html
 doc/overview-summary.html
 doc/overview-tree.html
-doc/package-list
 doc/resources/
 doc/serialized-form.html
 doc/stylesheet.css

diff --git a/MANIFEST.in b/MANIFEST.in
index 4063307..c1deffa 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1,8 +1,6 @@
 # This file lists the content of the python source package
 # Prepared in tools/cmake/Distrib.cmake
 
-include doc/webcruft/eclipseScreenShot.png
-include doc/webcruft/output.goal.pdf
 include examples/c/actor-create/actor-create.c
 include examples/c/actor-create/actor-create.tesh
 include examples/c/actor-create/actor-create_d.xml

diff --git a/doc/webcruft/eclipseScreenShot.png b/doc/webcruft/eclipseScreenShot.png
deleted file mode 100644 (file)
index 4111737..0000000
Binary files a/doc/webcruft/eclipseScreenShot.png and /dev/null differ

diff --git a/doc/webcruft/output.goal.pdf b/doc/webcruft/output.goal.pdf
deleted file mode 100644 (file)
index 06e6302..0000000
Binary files a/doc/webcruft/output.goal.pdf and /dev/null differ

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 414e10b..c0e0f2a 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -906,10 +906,6 @@ set(DOC_TOOLS
   )
 
 # these files get copied automatically to the html documentation
-set(DOC_IMG
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/eclipseScreenShot.png
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
-  )
 
 set(bin_files
   ${bin_files}

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 26de62b..9ce7f2b 100644 (file)
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -96,7 +96,6 @@ set(source_to_pack
   ${EXTRA_DIST}
   ${CMAKE_SOURCE_FILES}
   ${CMAKEFILES_TXT}
-  ${DOC_IMG}
   ${DOC_SOURCES}
   ${DOC_TOOLS}
   ${PLATFORMS_EXAMPLES}