Docs: Add logo to PDF

MANIFEST.SKIP

@@ -31,8 +31,8 @@ include/verilated.mk$
 test_regress/.gdbinit$
 config.cache$
 config.status$
-verilator.log
-verilator.tex
+verilator\.log
+verilator\.tex
 verilator.pc$
 verilator_bin.*
 verilator_coverage_bin.*

Makefile.in

@@ -124,7 +124,7 @@ DISTFILES_INC = $(INFOS) .gitignore Artistic COPYING COPYING.LESSER \
 	bin/verilator_gantt \
 	bin/verilator_includer \
 	bin/verilator_profcfunc \
-	doxygen-mainpage doxygen.config veripool-logo.png \
+	doxygen-mainpage doxygen.config verilator_logo.png \
 	install-sh configure *.pod \
 	include/*.[chv]* \
 	include/*.in \

src/pod2latexfix

@@ -22,10 +22,11 @@ my $header =
     ("\\usepackage[left=1.7in,right=1.7in,top=1.3in,bottom=1.3in]{geometry}\n"
      ."\\usepackage[pdftex,bookmarks=true,bookmarksnumbered=true,hypertexnames=false,breaklinks=true,colorlinks=true,linkcolor=blue]{hyperref}\n"
      ."\\usepackage{fancyhdr} \\pagestyle{fancy}\n"
+     ."\\usepackage{graphicx}\n"
      ."\n"
      ."\\setlength{\\parindent}{0pt} \\setlength{\\parskip}{\\baselineskip}\n"
      ."\n"
-     ."\\title{${Opt_DistTitle}}\n"
+     ."\\title{\\includegraphics[width=6cm]{verilator_logo.png}\\\\ ${Opt_DistTitle}}\n"
      ."\\date{${Opt_DistDate}}\n"
      ."\\author{http:\/\/www.veripool.org}\n"
      ."\\lhead[${Opt_DistTitle}]{${Opt_DistTitle}}\n"