diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index aa22ffc..d198e01 100644 --- a/Makefile.am +++ b/Makefile.am @@ -172,6 +172,13 @@ src/cuirass/config.scm: $(srcdir)/src/cuirass/config.scm.in Makefile # compilation. BUILT_SOURCES = src/cuirass/config.scm +## --------------- ## +## Documentation. ## +## --------------- ## + +info_TEXINFOS = doc/cuirass.texi +doc_cuirass_TEXINFOS = doc/fdl-1.3.texi + ## -------------- ## ## Installation. ## ## -------------- ## |