Merge pull request #313 from input-output-hk/remove-prochpc

not needed anymore: hpc to LaTeX processing

Author: CodiePP

docs/IOHK-Monitoring.pdf

@@ -61,7 +61,7 @@ ImagePdf = OverviewModules.pdf SetupProcedure.pdf ConfigurationModel.pdf ConfigE
 
 all: $(DOC).pdf
 
-$(DOC).tex: $(SOURCES) $(TESTS) $(EXAMPLES) $(TeXs) test-coverage.tex references.fmt
+$(DOC).tex: $(SOURCES) $(TESTS) $(EXAMPLES) $(TeXs) references.fmt
 	lhs2TeX -v -o $(DOC).tex Code.lhs
 
 $(DOC).pdf: $(DOC).tex $(ImagePdf)

docs/Makefile

@@ -1,25 +1,4 @@
 
-\section{Test coverage}
-
-Test coverage is calculated as the fraction of functions which are called from test routines.
-This percentage is calculated by the tool |hpc| with a call to
-\begin{verbatim}cabal new-test\end{verbatim}
-Add to a local \tt{cabal.project.local} file these lines:
-\newline
-\begin{tabular}{l r}
-tests: & True \\
-coverage: & True \\
-library-coverage: & True \\
-\end{tabular}
-
-\begin{figure}[htp]
-\centering{
-  \input{test-coverage.tex}
-}
-\caption{Test coverage of modules in percent as computed by the tool 'hpc'}\label{fig:coverage}
-\end{figure}
-
-
 \section{Test main entry point}
 
 \begin{code}