mirror of https://github.com/docker/docs.git
build: remove unused DOCS_ENFORCE_GIT_LOG_HISTORY var
Signed-off-by: David Karlsson <35727626+dvdksn@users.noreply.github.com>
This commit is contained in:
parent
140b8d0704
commit
2da965fadf
|
@ -9,9 +9,6 @@ variable "DOCS_URL" {
|
|||
variable "DOCS_SITE_DIR" {
|
||||
default = "public"
|
||||
}
|
||||
variable "DOCS_ENFORCE_GIT_LOG_HISTORY" {
|
||||
default = "0"
|
||||
}
|
||||
|
||||
group "default" {
|
||||
targets = ["release"]
|
||||
|
|
Loading…
Reference in New Issue