diff --git a/README b/README
index 178d0b10e..e2e84e614 100644
--- a/README
+++ b/README
@@ -48,8 +48,14 @@ src/util/
 src/pq/
   -- Postgres-specific utility functions
 
-src/mint/
-  -- taler mint server and helper binaries
+src/mintdb/
+  -- Mint database backend (with DB-specific plugins)
 
-src/lib/
-  -- libtalermint: C API to issue HTTP requests to mint, including testcases
+src/mint/
+  -- taler mint server
+
+src/mint-tools/
+  -- taler mint helper programs
+
+src/mint-lib/
+  -- libtalermint: C API to issue HTTP requests to mint
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 168173965..19df36746 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,2 +1,4 @@
 # This Makefile.am is in the public domain
 
+EXTRA_DIST = \
+  coding-style.txt