diff options
| author | Patrick Georgi <patrick@georgi.software> | 2018-06-06 13:23:25 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-07 15:10:17 +0000 |
| commit | 9101608e85998073dc0eb2e1238b6b113e8f65f2 (patch) | |
| tree | 93ea7b3a380c7e445a0ffc0626e29fa17beb4381 /util/docker | |
| parent | aefbc46a05bd6698bdcf0b18c0145ff70d6cd45b (diff) | |
util/docker: rename docs.c.o to doc.c.o
Make the directory name match the name of the subdomain.
Change-Id: I2dcf2385e6d953b7fe02caef72413149a332ec24
Signed-off-by: Patrick Georgi <patrick@georgi.software>
Reviewed-on: https://review.coreboot.org/26887
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/docker')
| -rw-r--r-- | util/docker/doc.coreboot.org/Dockerfile (renamed from util/docker/docs.coreboot.org/Dockerfile) | 0 | ||||
| -rw-r--r-- | util/docker/doc.coreboot.org/README.md (renamed from util/docker/docs.coreboot.org/README.md) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/util/docker/docs.coreboot.org/Dockerfile b/util/docker/doc.coreboot.org/Dockerfile index 27966ac80d..27966ac80d 100644 --- a/util/docker/docs.coreboot.org/Dockerfile +++ b/util/docker/doc.coreboot.org/Dockerfile diff --git a/util/docker/docs.coreboot.org/README.md b/util/docker/doc.coreboot.org/README.md index 11c095d18e..11c095d18e 100644 --- a/util/docker/docs.coreboot.org/README.md +++ b/util/docker/doc.coreboot.org/README.md |