update README

README.md

@@ -1,54 +1,14 @@
-# book
+#About
 
-A theme based on [Gitbook](https://www.gitbook.com), to write documentation
+This is a largely manual attempt(with much assistance from
-or books.
+[Pandoc][pandoc]) to convert the
+[Bluespec Haskell/Classic LaTeX docs][bhdocs] to an online
+readable markdown format.
 
-![book screenshot](https://github.com/Keats/book/blob/master/screenshot.png?raw=true)
+If you find any errors, please reach out to me at
+[yehowshua@joyofhardware.com](mailto:yehowshua@joyofhardware.com)
 
+Docs are hosted at https://bluespec.dev.
 
-## Contents
+[pandoc]: https://pandoc.org
-
+[bhdocs]: https://github.com/B-Lang-org/bsc/tree/main/doc/BH_ref_guide
-- [Installation](#installation)
-- [Options](#options)
-  - [Numbered chapters](#numbered-chapters)
-
-## Installation
-First download this theme to your `themes` directory:
-
-```bash
-$ cd themes
-$ git clone https://github.com/getzola/book.git
-```
-and then enable it in your `config.toml`:
-
-```toml
-theme = "book"
-# Optional, if you want search
-build_search_index = true
-```
-
-## Usage
-Book will generate a book from the files you place in the `content` directory.  Your book
-can have two levels of hierarchy: chapters and subchapters.
-
-Each chapter should be a `section` within the Gutenberg site and should have an `_index.md`
-file that sets its `weight` front-matter variable to its chapter number.  For example,
-chapter 2 should have `weight = 2`.  Additionally, each chapter should also set the
-`sort_by = "weight"` in its front matter.
-
-Each subchapter should be a `page` and should have its `weight` variable set to the subchapter
-number.  For example, subchapter 3.4 should have `weight = 4`.
-
-Finally, you should create an `_index.md` file and set the `redirect_to` front-matter variable
-to redirect to the first section of your content.  For example, if your first section has the
-slug `introduction`, then you would set `redirect_to = "introduction"`.
-
-## Options
-
-### Numbered chapters
-By default, the `book` theme will number the chapters and pages in the left menu.
-You can disable that by setting the `book_number_chapters` in `extra`:
-
-```toml
-book_number_chapters = false
-```