diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-20 16:16:46 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-20 16:16:46 +0200 |
| commit | 217c2d383b4c6c57de335e55e3b4943601ddc9be (patch) | |
| tree | 1e211fa71b1a6cca619d74ebc74745d594e2ef69 /doc/Makefile.am | |
| parent | 28542396565a8c3feb9b8a34be68410373022b6e (diff) | |
Configuring/Compiling texinfo documentaion, + manual stub.
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
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 |