chiark / gitweb /
Merge commit 'ad0c0f361be0'
[disorder] / Makefile.am
index 5599ffd00a188df4bdb85f02d726356cead0573e..4f98902a588c5e9a7eca3d54684db4ba2500907a 100644 (file)
@@ -17,7 +17,8 @@
 #
 
 EXTRA_DIST=CHANGES.html README.streams BUGS \
-README.upgrades README.client README.raw README.vhost README.developers
+README.upgrades.html README.client README.raw README.vhost README.developers \
+docs.css
 SUBDIRS=@subdirs@
 
 DISTCHECK_CONFIGURE_FLAGS:=httpdir=$(distdir)/_inst/httpdir cgiexecdir=$(shell pwd)/$(distdir)/_inst/cgiexecdir