Install documentation with 'make install'.

13 years ago · c55b618bd4
parent 619014a280
commit c55b618bd4
1 changed files with 1 additions and 0 deletions
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@ -30,3 +30,4 @@ Ubuntu_Installation.txt \
 Ubuntu_Installation_from_GIT.txt \
 Windows.txt

+dist_doc_DATA = ${EXTRA_DIST}