| commit | 15857179dbcf34c3dce824d315be365da567b7e7 | |
| author | Jaime Villate <villate@fe.up.pt> | |
| Sat, 10 Jan 2015 12:19:41 +0000 (10 12:19 +0000) | ||
| committer | Jaime Villate <villate@fe.up.pt> | |
| Sat, 10 Jan 2015 12:19:41 +0000 (10 12:19 +0000) | ||
| tree | 9df553f9e7d5f980973ba8a5f852906b3695ee2f | treesnapshot (tar.gz zip) |
| parent | 37182aa6b9efbe39a3b685325e477a1405f667cf | commitdiff |
Fixes bug #2878: Installing from maxima-5.35.1.tar.gz requires Makeinfo
Removing include-maxima.texi from the list of texinfo files
prevents the documentation from being rebuilt, making the installation
much faster and removing the dependance on Makeinfo. The drawback is
that developers will have to manually remove maxima.info and do
"make include-maximal.texi" every time they modify include-maxima.texi.in.
Removing include-maxima.texi from the list of texinfo files
prevents the documentation from being rebuilt, making the installation
much faster and removing the dependance on Makeinfo. The drawback is
that developers will have to manually remove maxima.info and do
"make include-maximal.texi" every time they modify include-maxima.texi.in.
| doc/info/Makefile.am | diffblobblamehistory | |
| doc/info/es/Makefile.am | diffblobblamehistory | |
| doc/info/pt/Makefile.am | diffblobblamehistory |