e0d19c8442
- Move directories into more descriptive organization
- src_mdbook, src_markdeep, src_raw
- mdbook will be generated from mdbook
- markdeep will be generated to html
- raw will be copied without modification
- Add script that will run on a succesful commit to main. This
script will update /docs and commit the changes.
10 lines
405 B
Markdown
10 lines
405 B
Markdown
# Markdeep documents
|
|
|
|
Markdeep documents require special processing before they can be compiled into the group.
|
|
The "original" are stored in this folder. The processing part takes place in
|
|
`docs_src/build/run.py`.
|
|
|
|
## Editing
|
|
While editing the file, you might consider doing the following
|
|
- `python3 -m http.server 8001`
|
|
- visit `http://localhost:8001/Filament.md.html` in the browser to view the result |