From dd038075f3a41f23e3e9542805fa7f363832e8aa Mon Sep 17 00:00:00 2001 From: Mikael Djurfeldt <mikael@djurfeldt.com> Date: Mon, 2 Dec 2019 12:26:20 +0100 Subject: [PATCH] Include manual source in distribution. --- doc/Makefile.am | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 63abfb6..b9565c3 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -3,7 +3,11 @@ dist_man1_MANS = music.1 eventcounter.1 eventgenerator.1 eventlogger.1 \ eventselect.1 eventsink.1 eventsource.1 viewevents.1 -EXTRA_DIST = music-manual.pdf +EXTRA_DIST = music-manual.pdf figures/dataconvergence.asy figures/datamapping.asy \ + figures/messysim.asy figures/multisim.asy figures/receiverport.asy \ + figures/remapping.asy figures/remapping2.asy figures/senderport.asy \ + figures/ticklogic.asy figures/ticklogic2.asy figures/timeline.asy \ + music-c-int.h music-manual.tex music-rfc.bib figures = figures/multisim.pdf \ figures/datamapping.pdf \ -- GitLab