Improvify comment text.
This commit is contained in:
parent
8e56fa7668
commit
7d1b77628f
|
@ -1,7 +1,7 @@
|
|||
;; Data is a list of directory names that should be preserved but are
|
||||
;; not they result of any "info.rkt"'s 'scribblings entry. Such
|
||||
;; directories usually hold content that is static (i.e., not built
|
||||
;; from Scribble sources).
|
||||
;; This file holds a list of directory names that should be preserved
|
||||
;; but are not a result of any "info.rkt"'s 'scribblings entry. Such
|
||||
;; directories usually hold content that is static (i.e., not built from
|
||||
;; Scribble sources).
|
||||
;;
|
||||
;; The `setup/scribblings' library uses this list to avoid deleting
|
||||
;; those drectories.
|
||||
|
|
Loading…
Reference in New Issue
Block a user