use .scrbl as the default extension for scribble and at-exp files

This commit is contained in:
Robby Findler 2015-04-19 07:23:36 -05:00
parent 11939df0f2
commit f8d375f6c3
2 changed files with 2 additions and 0 deletions

View File

@ -44,6 +44,7 @@
(try-dynamic-require 'syntax-color/scribble-lexer 'scribble-lexer)] (try-dynamic-require 'syntax-color/scribble-lexer 'scribble-lexer)]
[(definitions-text-surrogate) [(definitions-text-surrogate)
'scribble/private/indentation] 'scribble/private/indentation]
[(drracket:default-extension) "scrbl"]
[(drracket:indentation) [(drracket:indentation)
(dynamic-require 'scribble/private/indentation 'determine-spaces)] (dynamic-require 'scribble/private/indentation 'determine-spaces)]
[else (fallback)])))))) [else (fallback)]))))))

View File

@ -30,6 +30,7 @@
'scribble/private/indentation] 'scribble/private/indentation]
[(drracket:indentation) [(drracket:indentation)
(dynamic-require 'scribble/private/indentation 'determine-spaces)] (dynamic-require 'scribble/private/indentation 'determine-spaces)]
[(drracket:default-extension) "scrbl"]
[else (default key defval)]))) [else (default key defval)])))
;; Settings that apply to Scribble-renderable docs: ;; Settings that apply to Scribble-renderable docs: