do not pre-build docs into html/

phaverty · Jan 13, 2024 · caab32f · caab32f
1 parent 4cf10bf
commit caab32f
Show file tree

Hide file tree

Showing 25 changed files with 0 additions and 3,618 deletions.
diff --git a/html/404.html b/html/404.html
diff --git a/html/NEWS/index.html b/html/NEWS/index.html