From 217c2d383b4c6c57de335e55e3b4943601ddc9be Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 20 Oct 2016 16:16:46 +0200
Subject: Configuring/Compiling texinfo documentaion, + manual stub.

---
 doc/Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/Makefile.am')

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e69de29b..10da2d7d 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -0,0 +1,2 @@
+info_TEXINFOS = manual.texi
+manual_TEXINFOS = version.texi
-- 
cgit v1.2.3