--- db-18.1.40/dist/Makefile.in	2020-05-29 19:58:22.000000000 +0200
+++ db-18.1.40.new/dist/Makefile.in	2020-08-11 11:47:39.004672309 +0200
@@ -1299,8 +1299,8 @@
 
 # We install csharp docs even on UNIX so we don't have a 
 # broken link on the landing page.
-DOCLIST=api_reference articles bdb-sql collections csharp gsg \
-	gsg_db_rep gsg_db_server gsg_txn index.html installation \
+DOCLIST=api_reference articles  collections csharp gsg \
+	gsg_db_rep  gsg_txn index.html installation \
 	java license porting programmer_reference upgrading
 
 install_docs: