diff --git a/cplint/doc/manual.tex b/cplint/doc/manual.tex
index 27f882ac3..3e57e4f63 100644
--- a/cplint/doc/manual.tex
+++ b/cplint/doc/manual.tex
@@ -455,17 +455,3 @@ Copyright (C) 1993 Southern Methodist University, 1993 SUNY at Stony Brook, see
 \bibliography{bib}
 
 \end{document}
-% preamble for double compilation HTML/PDF
-%%\ifx\pdfoutput\undefined     % htlatex compilation
-%\documentclass{article}
-%\usepackage{graphicx}
-%\DeclareGraphicsExtensions{.png, .gif, .jpg}
-%\newcommand{\href}[2]{\Link[#1]{}{} #2 \EndLink}
-%\newcommand{\hypertarget}[2]{\Link[]{}{#1} #2 \EndLink}
-%\newcommand{\hyperlink}[2]{\Link[]{#1}{} #2 \EndLink}
-%%\else % pdflatex compilation
-%\documentclass[a4paper,12pt]{article}
-%\usepackage[pdftex]{graphicx}
-%\DeclareGraphicsExtensions{.pdf,.png,.jpg}
-%\RequirePackage[hyperindex]{hyperref}
-%\fi