Index: trunk/dvodist/Makefile.in
===================================================================
--- trunk/dvodist/Makefile.in	(revision 37031)
+++ trunk/dvodist/Makefile.in	(revision 37764)
@@ -92,4 +92,5 @@
 include $(SRC-DVODIST)/3pi.20130227/Makefile
 include $(SRC-DVODIST)/3pi.20140621/Makefile
+include $(SRC-DVODIST)/3pi.20140713/Makefile
 include $(SRC-DVODIST)/LAP.3pi.PV1/Makefile
 include $(SRC-DVODIST)/3pi.20120525.tables/Makefile
@@ -103,4 +104,5 @@
 $(DIST-3pi-20130227) \
 $(DIST-3pi-20140621) \
+$(DIST-3pi-20140713) \
 $(DIST-LAP-3pi-PV1) \
 $(DIST-3pi-20120525-tables) \