site_name: "XLS: Accelerated HW Synthesis"
repo_url: "https://github.com/google/xls/"
docs_dir: "xls/docs/"
site_dir: "gendocs/"
theme:
  name: "material"
nav:
  - IR:
    - Semantics: 'ir_semantics.md'
    - JIT: 'ir_jit.md'
    - Formal: 'solvers.md'
  - DSLX:
    - Reference: 'dslx_intro.md'
    - Examples:
      - CRC32: 'dslx_intro_example1.md'
      - FP adder: 'fpadd_example.md'
      - Prefix Scan: 'dslx_intro_example3.md'
    - Fuzzer: "fuzzer.md"
  - Tools:
    - Quick Start: 'tools_quick_start.md'
    - Listing: 'tools.md'
    - Interpreters: 'interpreters.md'
  - Development:
    - Style Guide: 'xls_style.md'

site_name: "XLS: Accelerated HW Synthesis"
repo_url: "https://github.com/google/xls/"
docs_dir: "docs/"
site_dir: "gendocs/"
theme:
  name: "material"
nav:
  - Intro: 'README.md'
  - IR:
    - Semantics: 'ir_semantics.md'
    - Optimizations: 'optimizations.md'
    - Scheduling: 'scheduling.md'
    - Visualizer: 'ir_visualization.md'
    - Native JIT: 'ir_jit.md'
    - Formal: 'solvers.md'
  - DSLX:
    - Reference: 'dslx_intro.md'
    - Examples:
      - CRC32: 'dslx_intro_example1.md'
      - FP adder: 'fpadd_example.md'
      - Prefix Scan: 'dslx_intro_example3.md'
    - Fuzzer: "fuzzer.md"
  - Tools:
    - Quick Start: 'tools_quick_start.md'
    - Listing: 'tools.md'
    - Interpreters: 'interpreters.md'
  - Development:
    - Style Guide: 'xls_style.md'

Move docs directory from xls/docs/ to docs/
Move docs directory from xls/docs/ to docs/

This should enable us to serve github pages easily:
https://github.blog/2016-08-17-simpler-github-pages-publishing/

Also add some new pages to the navigation.

PiperOrigin-RevId: 327248576
