Removing manual files

1 files changed, 0 insertions, 35 deletions

diff --git a/manual/CHAPTER_Auxlibs.tex b/manual/CHAPTER_Auxlibs.tex
deleted file mode 100644
index b3041078f..000000000
--- a/manual/CHAPTER_Auxlibs.tex
+++ /dev/null
@@ -1,35 +0,0 @@
-
-\chapter{Auxiliary Libraries}
-
-The Yosys source distribution contains some auxiliary libraries that are bundled
-with Yosys.
-
-\section{SHA1}
-
-The files in {\tt libs/sha1/} provide a public domain SHA1 implementation written
-by Steve Reid, Bruce Guenter, and Volker Grabsch. It is used for generating
-unique names when specializing parameterized modules.
-
-\section{BigInt}
-
-The files in {\tt libs/bigint/} provide a library for performing arithmetic with
-arbitrary length integers. It is written by Matt McCutchen \citeweblink{bigint}.
-
-The BigInt library is used for evaluating constant expressions, e.g.~using the {\tt
-ConstEval} class provided in {\tt kernel/consteval.h}.
-
-\section{SubCircuit}
-\label{sec:SubCircuit}
-
-The files in {\tt libs/subcircuit} provide a library for solving the subcircuit
-isomorphism problem. It is written by C. Wolf and based on the Ullmann
-Subgraph Isomorphism Algorithm \cite{UllmannSubgraphIsomorphism}. It is used by
-the {\tt extract} pass (see {\tt help extract} or Sec.~\ref{cmd:extract}).
-
-\section{ezSAT}
-
-The files in {\tt libs/ezsat} provide a library for simplifying generating CNF
-formulas for SAT solvers. It also contains bindings of MiniSAT. The ezSAT
-library is written by C. Wolf. It is used by the {\tt sat} pass (see
-{\tt help sat} or Sec.~\ref{cmd:sat}).
-