# HG changeset patch # User jlarmour # Date 1034905502 0 # Node ID b8fc54a587f2143943422799c543cb78ed2ef01d # Parent f59de13184c26bbe1b4b8e53bfd1d4eb52df8eaf 2002-10-15 Iztok Zupet * user-guide.sgml: pictures (gif==>png) * pix/*.png: generated from gifs with gimp * makefile: defined MAIN_PDF 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,9 @@ +2002-10-15 Iztok Zupet + + * user-guide.sgml: pictures (gif==>png) + * pix/*.png: generated from gifs with gimp + * makefile: defined MAIN_PDF + 2002-09-23 Andrew Lunn * .cvsignore: Ignore the generated html files. diff --git a/doc/sgml/user-guide/makefile b/doc/sgml/user-guide/makefile --- a/doc/sgml/user-guide/makefile +++ b/doc/sgml/user-guide/makefile @@ -48,7 +48,7 @@ TOPLEVEL := ../../../packages MAIN_SGML := user-guide.sgml MAIN_HTML := ecos-user-guide.html -MAIN_PDF := +MAIN_PDF := ecos-user-guide.pdf OTHER_SGML := PICTURES := diff --git a/doc/sgml/user-guide/user-guide.sgml b/doc/sgml/user-guide/user-guide.sgml --- a/doc/sgml/user-guide/user-guide.sgml +++ b/doc/sgml/user-guide/user-guide.sgml @@ -11,42 +11,43 @@ + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + +