From 5ee2197f18cc7503f58072fe0f389e49909c4e16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rn-Michael=20Miehe?= <jmmiehe@gmx.de>
Date: Mon, 8 Jan 2024 22:46:08 +0100
Subject: [PATCH] use /docs instead of /data

---
 Dockerfile | 1 +
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 0933772..8bac3cb 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -10,5 +10,6 @@ RUN set -ex; \
 
 COPY src/usr /usr
 
+WORKDIR /docs
 ENTRYPOINT ["autodoc"]
 CMD ["-bw"]
diff --git a/Makefile b/Makefile
index 209d2e8..de98246 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 image_tag = ldericher/autodoc
 docker_build = docker build
 docker_run = docker run --rm -it
-examples_flags = -v "$(shell pwd)/examples:/data" -u "$(shell id -u):$(shell id -g)"
+examples_flags = -v "$(shell pwd)/examples:/docs" -u "$(shell id -u):$(shell id -g)"
 
 .PHONY: default
 default: