9e597f3534de17d2c4926598ce6f34a01597e957 — Stephen Brennan a month ago 0aae20e
Fix documentation server
1 files changed, 1 insertions(+), 1 deletions(-)

M Makefile
M Makefile => Makefile +1 -1
@@ 104,7 104,7 @@ inc/*.h src/*.c src/*.h tools/*.c scripts/*.lisp bin/.gitkeep
  
  serve_doc: doc
- 	cd doc/_build/html; python -m http.server --bind 0.0.0.0 8080
+ 	cd html; python -m http.server --bind 0.0.0.0 8080
  
  # Named differently from Makefile.dep to avoid implicit rules for inclusion.
  depend: FORCE