diff doc/sgml/user-guide/makefile @ 374:b8fc54a587f2

2002-10-15 Iztok Zupet <iz@vsr.si> * user-guide.sgml: pictures (gif==>png) * pix/*.png: generated from gifs with gimp * makefile: defined MAIN_PDF
author jlarmour
date Fri, 18 Oct 2002 01:45:02 +0000
parents 28d0fbc11048
children 42a060de9457
line wrap: on
line diff
--- 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   :=