From 1eec255e60f2854b4dd1fa212f02d57eb31c9f19 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Thu, 8 Dec 2022 05:54:08 +1300
Subject: Removing manual files

---
 manual/CHAPTER_Auxprogs.tex | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 manual/CHAPTER_Auxprogs.tex

(limited to 'manual/CHAPTER_Auxprogs.tex')

diff --git a/manual/CHAPTER_Auxprogs.tex b/manual/CHAPTER_Auxprogs.tex
deleted file mode 100644
index f09b18f76..000000000
--- a/manual/CHAPTER_Auxprogs.tex
+++ /dev/null
@@ -1,26 +0,0 @@
-
-\chapter{Auxiliary Programs}
-
-Besides the main {\tt yosys} executable, the Yosys distribution contains a set
-of additional helper programs.
-
-\section{yosys-config}
-
-The {\tt yosys-config} tool (an auto-generated shell-script) can be used to
-query compiler options and other information needed for building loadable
-modules for Yosys. FIXME: See Sec.~\ref{chapter:prog} for details.
-
-\section{yosys-filterlib}
-\label{sec:filterlib}
-
-The {\tt yosys-filterlib} tool is a small utility that can be used to strip
-or extract information from a Liberty file. See Sec.~\ref{sec:techmap_extern}
-for details.
-
-\section{yosys-abc}
-
-This is a fork of ABC \citeweblink{ABC} with a small set of custom modifications
-that have not yet been accepted upstream. Not all versions of Yosys work with
-all versions of ABC. So Yosys comes with its own yosys-abc to avoid
-compatibility issues between the two.
-
-- 
cgit v1.2.3

