diff --git a/MANIFEST.SKIP b/MANIFEST.SKIP index d1e23b9ff..91b0f8131 100644 --- a/MANIFEST.SKIP +++ b/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.* diff --git a/Makefile.in b/Makefile.in index d7e4ca5dd..47440a97e 100644 --- a/Makefile.in +++ b/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 \ diff --git a/src/pod2latexfix b/src/pod2latexfix index dbd68bf15..ddb36f809 100755 --- a/src/pod2latexfix +++ b/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" diff --git a/verilator_logo.png b/verilator_logo.png new file mode 100644 index 000000000..e5550ff62 Binary files /dev/null and b/verilator_logo.png differ