diff options
author | Torbjorn Granlund <tege@gmplib.org> | 2013-12-02 20:31:04 +0100 |
---|---|---|
committer | Torbjorn Granlund <tege@gmplib.org> | 2013-12-02 20:31:04 +0100 |
commit | d5e9576b847394f828d3a8194b5cdaa99676c756 (patch) | |
tree | 6b02383eb31a6bd87993ed6182697b74885a84cd /doc/Makefile.am | |
parent | 5e84964c324f36844d7ab53bc556abdad19712c6 (diff) | |
download | gmp-d5e9576b847394f828d3a8194b5cdaa99676c756.tar.gz |
Use https to link to GNU license.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 2bc34ddbf..4f93f98a5 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -16,7 +16,7 @@ # License for more details. # # You should have received a copy of the GNU Lesser General Public License -# along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. +# along with the GNU MP Library. If not, see https://www.gnu.org/licenses/. EXTRA_DIST = configuration isa_abi_headache projects.html tasks.html |