X-Git-Url: https://jxself.org/git/?p=8sync.git;a=blobdiff_plain;f=Makefile.am;h=01d913c2467001939dd0d85371245970f5bd7b14;hp=ce5391818f313f045402d019ef00c1b6ff0eb33c;hb=794d4fb9628dc3013b94b8c6fa80c02cc664fac9;hpb=f8919ceb386574e7f91545f2ab2d3063ca7c92a4

diff --git a/Makefile.am b/Makefile.am
index ce53918..01d913c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -72,6 +72,8 @@ EXTRA_DIST = 						\
 	tests/utils.scm
 
 
+## Make changelog on demand
+
 dist-hook: gen-ChangeLog
 # gen-AUTHORS might be useful to borrow from Guix
 
@@ -83,6 +85,11 @@ gen-ChangeLog:
 	  mv $(distdir)/cl-t $(distdir)/ChangeLog;	\
 	fi
 
-SUBDIRS =					\
-	doc
-#	demos
+## Texinfo stuff
+
+info_TEXINFOS = doc/8sync.texi
+
+8sync_TEXINFOS =				\
+  doc/fdl.texi
+
+dvi-local: # Skip dvi docs