Made use of hvlogos.sty optional.

2022-03-18 20:29:22 +00:00 · 2022-03-18 20:29:22 +00:00 · 36c0e415e3
parent 703b9a055d
commit 36c0e415e3
1 changed files with 1 additions and 1 deletions
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@ -21,7 +21,7 @@
 \usepackage{xcolor}
 \usepackage{lstisadof-manual}
 \usepackage{xspace}
-\usepackage{hvlogos}
+\IfFileExists{hvlogos.sty}{\usepackage{hvlogos}}{\newcommand{\TeXLive}{\TeX Live}\newcommand{\BibTeX}{Bib\TeX}}
 \usepackage{railsetup}
 \setcounter{secnumdepth}{2}
 \usepackage{index}