This commit is contained in:
2026-03-31 13:33:17 +02:00
parent 4ffc94dce3
commit 5ee62d0064
2 changed files with 9 additions and 5 deletions

View File

@@ -4,4 +4,8 @@ all:
clean: clean:
find . -name "*.rkt~" -type f -exec rm -f {} \; find . -name "*.rkt~" -type f -exec rm -f {} \;
find . -name "*.scrbl~" -type f -exec rm -f {} \;
find . -name "compiled" -type d -exec rm -rf {} \; find . -name "compiled" -type d -exec rm -rf {} \;
find scrbl -name "*.html" -type f -exec rm {} \;
find scrbl -name "*.css" -type f -exec rm {} \;
find scrbl -name "*.js" -type f -exec rm {} \;

View File

@@ -8,11 +8,11 @@
(define scribblings (define scribblings
'( '(
("scribblings/web-racket.scrbl" () (gui-library) "web-racket") ("scrbl/web-racket.scrbl" () (gui-library) "web-racket")
("scribblings/web-racket-version.scrbl" () (gui-library) "web-racket-version") ("scrbl/web-racket-version.scrbl" () (gui-library) "web-racket-version")
("scribblings/web-wire.scrbl" () (gui-library) "web-wire") ("scrbl/web-wire.scrbl" () (gui-library) "web-wire")
("scribblings/webui-wire-download.scrbl" () (gui-library) "webui-wire-download") ("scrbl/webui-wire-download.scrbl" () (gui-library) "webui-wire-download")
("scribblings/webui-wire-ipc.scrbl" () (gui-library) "webui-wire-ipc") ("scrbl/webui-wire-ipc.scrbl" () (gui-library) "webui-wire-ipc")
) )
) )