+ $(NOCOMP_SOURCES) \
+ COPYING-gplv3.txt \
+ pre-inst-env.in \
+ bootstrap.sh \
+ guix.scm \
+ tests/utils.scm \
+ demos/run-demo.sh \
+ demos/ircbot.scm \
+ demos/actors/botherbotherbother.scm \
+ demos/actors/simplest-possible.scm \
+ demos/actors/robotscanner.scm
+
+
+## Make changelog on demand
+
+dist-hook: gen-ChangeLog
+# gen-AUTHORS might be useful to borrow from Guix
+
+gen-ChangeLog:
+ if test -d .git; then \
+ $(top_srcdir)/build-aux/gitlog-to-changelog --since 2015-11-28 \
+ > $(distdir)/cl-t; \
+ rm -f $(distdir)/ChangeLog; \
+ mv $(distdir)/cl-t $(distdir)/ChangeLog; \
+ fi
+
+## Texinfo stuff
+
+info_TEXINFOS = doc/8sync.texi
+
+8sync_TEXINFOS = \
+ doc/fdl.texi
+
+dvi-local: # Skip dvi docs