manual: Rename pulseview_manual.* to manual.*.

[pulseview.git] / manual / pulseview_manual.txt

diff --git a/manual/pulseview_manual.txt b/manual/pulseview_manual.txt
deleted file mode 100644 (file)
index 627e46f..0000000
--- a/manual/pulseview_manual.txt
+++ /dev/null
@@ -1,28 +0,0 @@
-PulseView User Manual
-=====================
-unreleased development snapshot, dated 2018-10-03
-:doctype: book
-:imagesdir: ./images
-:sectnums:
-:toc:
-:toclevels: 2
-:icons: font
-:figure-caption: Image
-
-ifdef::ebook-format[:leveloffset: -1]
-
-include::license.txt[]
-
-include::overview.txt[]
-
-include::installation.txt[]
-
-include::acquisition.txt[]
-
-include::analysis.txt[]
-
-include::decoders.txt[]
-
-include::import_export.txt[]
-
-include::cli.txt[]