# HG changeset patch
# User jlarmour
# Date 1051815829 0
# Node ID 96341d7cdd0f8b12b7d0106b971b6309c63272e1
# Parent  6fce82fdc17139f06919a48055fd622e705f7432
	* jadetex.cfg: Add this to configure PDF output nicely with index
	and coloured links.

	* pix/*.gif: Delete as they are now unused.
	* introduction.sgml: Add ID for notation and conventions chap.

diff --git a/doc/sgml/user-guide/ChangeLog b/doc/sgml/user-guide/ChangeLog
--- a/doc/sgml/user-guide/ChangeLog
+++ b/doc/sgml/user-guide/ChangeLog
@@ -1,3 +1,11 @@
+2003-05-01  Jonathan Larmour  <jifl@eCosCentric.com>
+
+	* jadetex.cfg: Add this to configure PDF output nicely with index
+	and coloured links.
+
+	* pix/*.gif: Delete as they are now unused.
+	* introduction.sgml: Add ID for notation and conventions chap.
+
 2003-03-03  John Dallaway  <jld@ecoscentric.com>
 
 	* programming-concepts-techniques.sgml:
diff --git a/doc/sgml/user-guide/introduction.sgml b/doc/sgml/user-guide/introduction.sgml
--- a/doc/sgml/user-guide/introduction.sgml
+++ b/doc/sgml/user-guide/introduction.sgml
@@ -467,7 +467,7 @@ revisions.
 
 <!-- ==================================================== -->
 
-<chapter>
+<chapter id="notation-and-conventions">
 <title>Notation and Conventions</title>
 
 <para>
@@ -782,4 +782,4 @@ describes the following things:
 </chapter>
 
 
-</part>
\ No newline at end of file
+</part>
diff --git a/doc/sgml/user-guide/jadetex.cfg b/doc/sgml/user-guide/jadetex.cfg
new file mode 100644
--- /dev/null
+++ b/doc/sgml/user-guide/jadetex.cfg
@@ -0,0 +1,1 @@
+\hypersetup{pdfauthor=eCos (pdfjadetex) ,  colorlinks=true,  linkcolor=blue,  pdfstartview=FitH}
diff --git a/doc/sgml/user-guide/pix/BuildPackages.gif b/doc/sgml/user-guide/pix/BuildPackages.gif
deleted file mode 100644
index cd6e9c460fe8803ec27899ceb5ea96acc1791e5f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Conflicts.gif b/doc/sgml/user-guide/pix/Conflicts.gif
deleted file mode 100644
index c16281faa6e1b7c96dfca38f35bd3bcbdc02652e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/CorrectFailingRules2.gif b/doc/sgml/user-guide/pix/CorrectFailingRules2.gif
deleted file mode 100644
index e43e71ea0ecee285860a8fadafc97efdc9e4b3dd..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image22.gif b/doc/sgml/user-guide/pix/Image22.gif
deleted file mode 100644
index 5cf3fb28dc09f9c0540d2c61cace8a85cb40d93e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image23.gif b/doc/sgml/user-guide/pix/Image23.gif
deleted file mode 100644
index c88a2f48d62f0fbc818b4293e72253d7de703415..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image24.gif b/doc/sgml/user-guide/pix/Image24.gif
deleted file mode 100644
index 6852b1c03af37eb379840bee6c9af7d7b5052ada..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image25.gif b/doc/sgml/user-guide/pix/Image25.gif
deleted file mode 100644
index 5daca3858e81be56028d994fa7b1402f83af0d81..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image26.gif b/doc/sgml/user-guide/pix/Image26.gif
deleted file mode 100644
index 58287abb3d49860f657c0fd2b296a0bbf459b90a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image27.gif b/doc/sgml/user-guide/pix/Image27.gif
deleted file mode 100644
index d9b6a0d89d2c52f6ca39c28560dfbd7009312186..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image28.gif b/doc/sgml/user-guide/pix/Image28.gif
deleted file mode 100644
index f0403e00b825502754303386f869a905f2613334..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image29.gif b/doc/sgml/user-guide/pix/Image29.gif
deleted file mode 100644
index 197ecb8070700eda6d43b7125ab89b68458ef45d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image30.gif b/doc/sgml/user-guide/pix/Image30.gif
deleted file mode 100644
index 6e9e7a62c9c8dddb5aca1794a7856de22915a303..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image31.gif b/doc/sgml/user-guide/pix/Image31.gif
deleted file mode 100644
index 3829fc2f4230fbe5f8ec05ad820bf5825226eb56..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image32.gif b/doc/sgml/user-guide/pix/Image32.gif
deleted file mode 100644
index 98e2e73ceb3428bf54d8eb3f47d4c9298254c471..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image33.gif b/doc/sgml/user-guide/pix/Image33.gif
deleted file mode 100644
index 06323fb94b31700235ed0ff47254021f69afd08f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image34.gif b/doc/sgml/user-guide/pix/Image34.gif
deleted file mode 100644
index c04d02bab37d46d739a5f923fbb873368b8d6cd8..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image35.gif b/doc/sgml/user-guide/pix/Image35.gif
deleted file mode 100644
index 234edac941db26916f7682b2f12bde34be0dbb88..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image36.gif b/doc/sgml/user-guide/pix/Image36.gif
deleted file mode 100644
index a08661934727889c63357d4b60e5f652a19fec4d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image37.gif b/doc/sgml/user-guide/pix/Image37.gif
deleted file mode 100644
index d4f0a9fc6dfad39b6352eb856b0ef85dce8e6987..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image38.gif b/doc/sgml/user-guide/pix/Image38.gif
deleted file mode 100644
index 0fd9bdc334902ad3121c12ce5e67ae38a6bfc9b7..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image39.gif b/doc/sgml/user-guide/pix/Image39.gif
deleted file mode 100644
index b584af079d6b926fb6691a4e5a54274b2c27ae30..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image40.gif b/doc/sgml/user-guide/pix/Image40.gif
deleted file mode 100644
index d51b1feb256c7a1d2c2cb8dcd34bf4ac95cc95a3..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image41.gif b/doc/sgml/user-guide/pix/Image41.gif
deleted file mode 100644
index bf25ec20a23b5d131088199ce3bbcd6798e9acdd..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image42.gif b/doc/sgml/user-guide/pix/Image42.gif
deleted file mode 100644
index d775dbfa2d70728c5a87701958ff3e67d7790b29..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image43.gif b/doc/sgml/user-guide/pix/Image43.gif
deleted file mode 100644
index c446167c71902fa153d1c7df52e70764e2b62b30..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image44.gif b/doc/sgml/user-guide/pix/Image44.gif
deleted file mode 100644
index 9e9bf38e06eb6dc77156d1f090b800e935ed7290..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image45.gif b/doc/sgml/user-guide/pix/Image45.gif
deleted file mode 100644
index fdc6f9848ac093c5366388cfbf958d66f50f84d9..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image46.gif b/doc/sgml/user-guide/pix/Image46.gif
deleted file mode 100644
index 532ad0d82a3dab11bed58b1082d29b8546a13ab6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image47.gif b/doc/sgml/user-guide/pix/Image47.gif
deleted file mode 100644
index b992e11fb6e592fbab292ab82d9a112bbf6348a2..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image47new.gif b/doc/sgml/user-guide/pix/Image47new.gif
deleted file mode 100644
index c3f9532970fef5d7d2bdd43ae74fcfcde23f3c89..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image48.gif b/doc/sgml/user-guide/pix/Image48.gif
deleted file mode 100644
index 5d1abc821eeb7a43f2fe916e0e738a701695f720..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image49.gif b/doc/sgml/user-guide/pix/Image49.gif
deleted file mode 100644
index 59f2183b8f0771cddd70fd5d264c3f0a03820a97..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image50.gif b/doc/sgml/user-guide/pix/Image50.gif
deleted file mode 100644
index 089eaf335c1964236dba9a0c4b0d5580271a58a1..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image50new.gif b/doc/sgml/user-guide/pix/Image50new.gif
deleted file mode 100644
index debd88618008616534f32eb62d9e1f14ac65aa10..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image51.gif b/doc/sgml/user-guide/pix/Image51.gif
deleted file mode 100644
index 28ab8d6f490b651f67dac0ff0803b720ff9be3ec..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image52.gif b/doc/sgml/user-guide/pix/Image52.gif
deleted file mode 100644
index 59b41300737a86e06ffe1cfa616aebfc5f158adf..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image53.gif b/doc/sgml/user-guide/pix/Image53.gif
deleted file mode 100644
index 3b7609078b02549104e3ecbb54ee8324ccb6b832..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image54.gif b/doc/sgml/user-guide/pix/Image54.gif
deleted file mode 100644
index 7db00333839692b233160763dadb7f718f0bc73b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image54new.gif b/doc/sgml/user-guide/pix/Image54new.gif
deleted file mode 100644
index 1cfa0fd8596216879e21e36ab9e4c3514ac16d52..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image55.gif b/doc/sgml/user-guide/pix/Image55.gif
deleted file mode 100644
index 6be6445d4cf9d314faa95ccd0e4bced312667342..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image56.gif b/doc/sgml/user-guide/pix/Image56.gif
deleted file mode 100644
index 51bea6c85fb646bc66843f268e073912b7ac4d45..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image57.gif b/doc/sgml/user-guide/pix/Image57.gif
deleted file mode 100644
index 8f5af5fc31060b57a473c0346a9c4436cbae6a78..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image58.gif b/doc/sgml/user-guide/pix/Image58.gif
deleted file mode 100644
index fcf5ef20970f6d45fb3a51b6d5603cb7e6c77bb0..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image59.gif b/doc/sgml/user-guide/pix/Image59.gif
deleted file mode 100644
index 37ec9742e17a2654bbe8140fe12aab1512fabe4a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/Image60.gif b/doc/sgml/user-guide/pix/Image60.gif
deleted file mode 100644
index 14883d3ed36870cc4c646415f39a98c071615bd8..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/ToolsOptions.gif b/doc/sgml/user-guide/pix/ToolsOptions.gif
deleted file mode 100644
index 9ffe0b5967e60178ca5497ff198dbfa2a32ee78d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/addfromfolder.gif b/doc/sgml/user-guide/pix/addfromfolder.gif
deleted file mode 100644
index 5e44f853441089c41d5a9ea308528c6fd77a4c56..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/addplatform.gif b/doc/sgml/user-guide/pix/addplatform.gif
deleted file mode 100644
index 4d85ca06e786008a1008f4682631de99e1a672ba..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/admin.gif b/doc/sgml/user-guide/pix/admin.gif
deleted file mode 100644
index 98ce0d07ffba0bec66334a6ba1ac029547ec7e72..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/arrow.gif b/doc/sgml/user-guide/pix/arrow.gif
deleted file mode 100644
index 4db46042e7b1e67995b5ce6e6a6eac77395d3b1b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/bash.gif b/doc/sgml/user-guide/pix/bash.gif
deleted file mode 100644
index 411c8b6dbcbe06070ce2b6c8ce87f31cb6d3c324..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/botclear.gif b/doc/sgml/user-guide/pix/botclear.gif
deleted file mode 100644
index 0b907f94585297d0f8b40d04c8459a9db4a0b857..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/build-tools-dialog.gif b/doc/sgml/user-guide/pix/build-tools-dialog.gif
deleted file mode 100644
index 5062ad600f811be9bc934a103ac5125f44416ec3..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/build-tools2.gif b/doc/sgml/user-guide/pix/build-tools2.gif
deleted file mode 100644
index c0ec541a128456a1c1303f76aaa889074a7a5737..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/build3D.gif b/doc/sgml/user-guide/pix/build3D.gif
deleted file mode 100644
index 1696b33000e6ecc5366812b62c63d4039e17dda6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/build3D2.gif b/doc/sgml/user-guide/pix/build3D2.gif
deleted file mode 100644
index 12b55b7786b588890da75e1489442d79351e1ca5..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/buildoptions.gif b/doc/sgml/user-guide/pix/buildoptions.gif
deleted file mode 100644
index 32a72b3e1068d6c8b4ef245507398d4a2abe5c7a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/ch-properties-dialog.gif b/doc/sgml/user-guide/pix/ch-properties-dialog.gif
deleted file mode 100644
index 93e6caea26ae3fe8a6b9436f17bc7ece0df49f96..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/comprepos.gif b/doc/sgml/user-guide/pix/comprepos.gif
deleted file mode 100644
index 80f61dd9c5b72e67ce9c58a9cfc3ce0cbfdc91ae..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/comprepos1.gif b/doc/sgml/user-guide/pix/comprepos1.gif
deleted file mode 100644
index a910db740f60b270dffd90f747ec686b6baa53ae..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/comprepos2.gif b/doc/sgml/user-guide/pix/comprepos2.gif
deleted file mode 100644
index 69ce08048395408cf70b58590e388b0008d073b5..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/config-f1.gif b/doc/sgml/user-guide/pix/config-f1.gif
deleted file mode 100644
index 6add8790123d7cd4716460ec8f794ecf50b48bf1..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/configitemlabels.gif b/doc/sgml/user-guide/pix/configitemlabels.gif
deleted file mode 100644
index b89a43d655dfa1a5114dfe2a58c3204d5ca3ebbc..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/configwin.gif b/doc/sgml/user-guide/pix/configwin.gif
deleted file mode 100644
index 2e3e0ae1feb4e76acfdb90782a3d434c155de04a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/conflictwin.gif b/doc/sgml/user-guide/pix/conflictwin.gif
deleted file mode 100644
index e15dbd3edea4e74cc5dc0a8e6446d9cd404ad04d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/connection.gif b/doc/sgml/user-guide/pix/connection.gif
deleted file mode 100644
index fe824f12ce23f63cdd71239a5955df3b3547e81c..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/ecos.gif b/doc/sgml/user-guide/pix/ecos.gif
deleted file mode 100644
index 688151344fe563df164fec0ecb48406ff4e4440c..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/find-dialog.gif b/doc/sgml/user-guide/pix/find-dialog.gif
deleted file mode 100644
index b494e30320dba73969e692998d58c8d98de3e558..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/html-help.gif b/doc/sgml/user-guide/pix/html-help.gif
deleted file mode 100644
index 53814607817f030738c348c2612a8d78d3172f41..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/install3D.gif b/doc/sgml/user-guide/pix/install3D.gif
deleted file mode 100644
index a393b4dc2813ba1568cfe0356e067bf27a86c609..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/install3D2.gif b/doc/sgml/user-guide/pix/install3D2.gif
deleted file mode 100644
index a240dbbc7fe086eab6815fc897bf4c68a7cc1ff3..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/memorywin.gif b/doc/sgml/user-guide/pix/memorywin.gif
deleted file mode 100644
index 89c5de0feb664d0949e3af7fd35462df786b90f9..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/memregions.gif b/doc/sgml/user-guide/pix/memregions.gif
deleted file mode 100644
index b190e3648aac8b1127038479bd0f58a4fc25367f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/memreloc.gif b/doc/sgml/user-guide/pix/memreloc.gif
deleted file mode 100644
index e75043b8cee5137d04c017a553b1564d0975a9a9..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/mlt-region-general.gif b/doc/sgml/user-guide/pix/mlt-region-general.gif
deleted file mode 100644
index 781232dfa117da04b2d802aae6c45fe157fc3688..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/mlt-section-general.gif b/doc/sgml/user-guide/pix/mlt-section-general.gif
deleted file mode 100644
index 806f1f52cc0c45390d3d72df5181425005f854e3..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/mlt-section-relocation.gif b/doc/sgml/user-guide/pix/mlt-section-relocation.gif
deleted file mode 100644
index ef056ff03db827b5f638cbf5d9b4e6cda784dbb2..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/mlt-view.gif b/doc/sgml/user-guide/pix/mlt-view.gif
deleted file mode 100644
index d46b7c21836e36bc73a9a24f8f41db66c864b7c2..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/modifyplatform.gif b/doc/sgml/user-guide/pix/modifyplatform.gif
deleted file mode 100644
index 9b34a4a8f238bf46ec54f421170613eec2f7a7b0..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/open-dialog.gif b/doc/sgml/user-guide/pix/open-dialog.gif
deleted file mode 100644
index 0e232dbf1866471d48c9b111a37fadb128f38f3a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/options.gif b/doc/sgml/user-guide/pix/options.gif
deleted file mode 100644
index a176531f137602355f0eb170d5e83a68d1ee6fa9..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/packagesdialog.gif b/doc/sgml/user-guide/pix/packagesdialog.gif
deleted file mode 100644
index 7b7ac0d66ea472ec2090dcb0af1b0d60a4da2a51..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/properties-dialog.gif b/doc/sgml/user-guide/pix/properties-dialog.gif
deleted file mode 100644
index 9a463b0eaa8d588b753de658367a677d6245db53..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/properties-dialog2.gif b/doc/sgml/user-guide/pix/properties-dialog2.gif
deleted file mode 100644
index 9a463b0eaa8d588b753de658367a677d6245db53..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/properties-dialog3.gif b/doc/sgml/user-guide/pix/properties-dialog3.gif
deleted file mode 100644
index 9a463b0eaa8d588b753de658367a677d6245db53..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/propwin.gif b/doc/sgml/user-guide/pix/propwin.gif
deleted file mode 100644
index ed1fb8ab0211ca8e652b3f73e491a01be2034cf0..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/regprops.gif b/doc/sgml/user-guide/pix/regprops.gif
deleted file mode 100644
index fa6e7cd05c4f5222617aa713cee3f9cb6a40fa9b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/repo3D.gif b/doc/sgml/user-guide/pix/repo3D.gif
deleted file mode 100644
index f35d37ef4538a051e95e09c0aa5fdf26a4af1210..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/repo3D1.gif b/doc/sgml/user-guide/pix/repo3D1.gif
deleted file mode 100644
index f35d37ef4538a051e95e09c0aa5fdf26a4af1210..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/repos-relocate.gif b/doc/sgml/user-guide/pix/repos-relocate.gif
deleted file mode 100644
index 0f63c052174f946ebb801bb8c9a0895be6745057..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/resolve-conflicts.gif b/doc/sgml/user-guide/pix/resolve-conflicts.gif
deleted file mode 100644
index 00cc551c365a06dace2d24f131d89159cbfb6bcd..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/run-tests.gif b/doc/sgml/user-guide/pix/run-tests.gif
deleted file mode 100644
index e814f71cde1a7732b6847fc99b4701f7b66a1ec5..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/save-as-dialog.gif b/doc/sgml/user-guide/pix/save-as-dialog.gif
deleted file mode 100644
index cc35cc59c90dd6099e0ad3ad82c02008f9e220cc..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/settings-conflict.gif b/doc/sgml/user-guide/pix/settings-conflict.gif
deleted file mode 100644
index 9ffe0b5967e60178ca5497ff198dbfa2a32ee78d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/settings-display.gif b/doc/sgml/user-guide/pix/settings-display.gif
deleted file mode 100644
index e160ff74b5899c98ce6bb5da53bc9c4553ee6c2b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/settings-runtests.gif b/doc/sgml/user-guide/pix/settings-runtests.gif
deleted file mode 100644
index ede5b80fe61492ea8fd0778e3c55b3ed7b01a75b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/settings-viewers.gif b/doc/sgml/user-guide/pix/settings-viewers.gif
deleted file mode 100644
index 58c3cf4799b74356dacb9a063885167bb09a398f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/targetlist.gif b/doc/sgml/user-guide/pix/targetlist.gif
deleted file mode 100644
index 0b05863dfaf7d7a48550886fe665720e54da8285..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/templates.gif b/doc/sgml/user-guide/pix/templates.gif
deleted file mode 100644
index 0ce04898273edc6623eede39aff7bf93c07e104e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/toolsplatforms.gif b/doc/sgml/user-guide/pix/toolsplatforms.gif
deleted file mode 100644
index c53447ebf10c05b4bcd7fc9a78525f34e6913633..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/user-tools-dialog.gif b/doc/sgml/user-guide/pix/user-tools-dialog.gif
deleted file mode 100644
index a00e2ab2c7c9017d99ea498f4010f3e063414aad..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001

diff --git a/doc/sgml/user-guide/pix/viewmenu.gif b/doc/sgml/user-guide/pix/viewmenu.gif
deleted file mode 100644
index 86d8d3dafbbbf8499df0875bb001f060a94fc9f5..0000000000000000000000000000000000000000
GIT binary patch
literal 0
Hc$@<O00001