6 files changed, 28 insertions, 80 deletions
diff --git a/Build/source/build-aux/config.guess b/Build/source/build-aux/config.guess
index 31e01efec3e..770cb5c7eb0 100755
--- a/Build/source/build-aux/config.guess
+++ b/Build/source/build-aux/config.guess
@@ -2,7 +2,7 @@
 # Attempt to guess a canonical system name.
 #   Copyright 1992-2017 Free Software Foundation, Inc.
 
-timestamp='2017-11-07'
+timestamp='2017-12-17'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -265,6 +265,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in
     *:Redox:*:*)
 	echo ${UNAME_MACHINE}-unknown-redox
 	exit ;;
+    mips:OSF1:*.*)
+        echo mips-dec-osf1
+        exit ;;
     alpha:OSF1:*:*)
 	case $UNAME_RELEASE in
 	*4.0)
diff --git a/Build/source/libs/freetype2/freetype-src/builds/unix/config.guess b/Build/source/libs/freetype2/freetype-src/builds/unix/config.guess
index 31e01efec3e..770cb5c7eb0 100755
--- a/Build/source/libs/freetype2/freetype-src/builds/unix/config.guess
+++ b/Build/source/libs/freetype2/freetype-src/builds/unix/config.guess
@@ -2,7 +2,7 @@
 # Attempt to guess a canonical system name.
 #   Copyright 1992-2017 Free Software Foundation, Inc.
 
-timestamp='2017-11-07'
+timestamp='2017-12-17'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -265,6 +265,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in
     *:Redox:*:*)
 	echo ${UNAME_MACHINE}-unknown-redox
 	exit ;;
+    mips:OSF1:*.*)
+        echo mips-dec-osf1
+        exit ;;
     alpha:OSF1:*:*)
 	case $UNAME_RELEASE in
 	*4.0)
diff --git a/Build/source/libs/icu/icu-src/source/config.guess b/Build/source/libs/icu/icu-src/source/config.guess
index 31e01efec3e..770cb5c7eb0 100755
--- a/Build/source/libs/icu/icu-src/source/config.guess
+++ b/Build/source/libs/icu/icu-src/source/config.guess
@@ -2,7 +2,7 @@
 # Attempt to guess a canonical system name.
 #   Copyright 1992-2017 Free Software Foundation, Inc.
 
-timestamp='2017-11-07'
+timestamp='2017-12-17'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -265,6 +265,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in
     *:Redox:*:*)
 	echo ${UNAME_MACHINE}-unknown-redox
 	exit ;;
+    mips:OSF1:*.*)
+        echo mips-dec-osf1
+        exit ;;
     alpha:OSF1:*:*)
 	case $UNAME_RELEASE in
 	*4.0)
diff --git a/Build/source/utils/asymptote/config.guess b/Build/source/utils/asymptote/config.guess
index 31e01efec3e..770cb5c7eb0 100644
--- a/Build/source/utils/asymptote/config.guess
+++ b/Build/source/utils/asymptote/config.guess
@@ -2,7 +2,7 @@
 # Attempt to guess a canonical system name.
 #   Copyright 1992-2017 Free Software Foundation, Inc.
 
-timestamp='2017-11-07'
+timestamp='2017-12-17'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -265,6 +265,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in
     *:Redox:*:*)
 	echo ${UNAME_MACHINE}-unknown-redox
 	exit ;;
+    mips:OSF1:*.*)
+        echo mips-dec-osf1
+        exit ;;
     alpha:OSF1:*:*)
 	case $UNAME_RELEASE in
 	*4.0)
diff --git a/Master/doc.html b/Master/doc.html
index c0c048038f4..65ecefaa8df 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -526,6 +526,7 @@ TikZ styles for creating overlaid pictures in beamer
 <li><b><a href="texmf-dist/doc/latex/aomart">aomart</a></b>:<small>
 Typeset articles for the Annals of Mathematics
 <a href="texmf-dist/doc/latex/aomart/aomart.pdf">aomart.pdf</a>,
+<a href="texmf-dist/doc/latex/aomart/aomfrench.pdf">aomfrench.pdf</a>,
 <a href="texmf-dist/doc/latex/aomart/aomsample.pdf">aomsample.pdf</a>,
 <a href="texmf-dist/doc/latex/aomart/aomsample1.pdf">aomsample1.pdf</a>.
 </small></li>
@@ -1376,82 +1377,14 @@ Creating colourful boxes with logos
 <a href="texmf-dist/doc/latex/bclogo/syracuse.pdf">syracuse.pdf</a>.
 </small></li>
 
-<li><b><a href="texmf-dist/doc/latex/beamer/doc">beamer</a></b>:<small>
+<li><b><a href="texmf-dist/doc/latex/beamer">beamer</a></b>:<small>
 A LaTeX class for producing presentations and slides
-<a href="texmf-dist/doc/latex/beamer/doc/beamerlogo.pdf">beamerlogo.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemealbatross.pdf">beamerugcolorthemealbatross.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemealbatrossstylish.pdf">beamerugcolorthemealbatrossstylish.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemebeaver.pdf">beamerugcolorthemebeaver.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemebeetle.pdf">beamerugcolorthemebeetle.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemecrane.pdf">beamerugcolorthemecrane.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemedefault.pdf">beamerugcolorthemedefault.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemedolphin.pdf">beamerugcolorthemedolphin.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemedove.pdf">beamerugcolorthemedove.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemefly.pdf">beamerugcolorthemefly.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemelily.pdf">beamerugcolorthemelily.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthememonarca.pdf">beamerugcolorthememonarca.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemeorchid.pdf">beamerugcolorthemeorchid.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemerose.pdf">beamerugcolorthemerose.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemeseagull.pdf">beamerugcolorthemeseagull.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemeseahorse.pdf">beamerugcolorthemeseahorse.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemesidebartab.pdf">beamerugcolorthemesidebartab.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemespruce.pdf">beamerugcolorthemespruce.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemestructure.pdf">beamerugcolorthemestructure.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemewhale.pdf">beamerugcolorthemewhale.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugcolorthemewolverine.pdf">beamerugcolorthemewolverine.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugfontthemedefault.pdf">beamerugfontthemedefault.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugfontthemeserif.pdf">beamerugfontthemeserif.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugfontthemestructurebold.pdf">beamerugfontthemestructurebold.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugfontthemestructureitalicserif.pdf">beamerugfontthemestructureitalicserif.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugfontthemestructuresmallcapsserif.pdf">beamerugfontthemestructuresmallcapsserif.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beameruginnerthemecircles.pdf">beameruginnerthemecircles.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beameruginnerthemedefault.pdf">beameruginnerthemedefault.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beameruginnerthemeinmargin.pdf">beameruginnerthemeinmargin.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beameruginnerthemerectangles.pdf">beameruginnerthemerectangles.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beameruginnerthemerounded.pdf">beameruginnerthemerounded.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemedefault.pdf">beamerugouterthemedefault.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemeinfolines.pdf">beamerugouterthemeinfolines.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthememiniframes.pdf">beamerugouterthememiniframes.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemeshadow.pdf">beamerugouterthemeshadow.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemesidebar.pdf">beamerugouterthemesidebar.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemesmoothbars.pdf">beamerugouterthemesmoothbars.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemesmoothtree.pdf">beamerugouterthemesmoothtree.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemesplit.pdf">beamerugouterthemesplit.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugouterthemetree.pdf">beamerugouterthemetree.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeAnnArbor.pdf">beamerugthemeAnnArbor.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeAntibes.pdf">beamerugthemeAntibes.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeBergen.pdf">beamerugthemeBergen.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeBerkeley.pdf">beamerugthemeBerkeley.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeBerlin.pdf">beamerugthemeBerlin.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeBoadilla.pdf">beamerugthemeBoadilla.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeCambridgeUS.pdf">beamerugthemeCambridgeUS.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeCopenhagen.pdf">beamerugthemeCopenhagen.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeDarmstadt.pdf">beamerugthemeDarmstadt.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeDresden.pdf">beamerugthemeDresden.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeEastLansing.pdf">beamerugthemeEastLansing.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeFrankfurt.pdf">beamerugthemeFrankfurt.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeGoettingen.pdf">beamerugthemeGoettingen.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeHannover.pdf">beamerugthemeHannover.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeIlmenau.pdf">beamerugthemeIlmenau.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeJuanLesPins.pdf">beamerugthemeJuanLesPins.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeLuebeck.pdf">beamerugthemeLuebeck.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeMadrid.pdf">beamerugthemeMadrid.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeMalmoe.pdf">beamerugthemeMalmoe.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeMarburg.pdf">beamerugthemeMarburg.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeMontpellier.pdf">beamerugthemeMontpellier.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemePaloAlto.pdf">beamerugthemePaloAlto.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemePittsburgh.pdf">beamerugthemePittsburgh.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeRochester.pdf">beamerugthemeRochester.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeSingapore.pdf">beamerugthemeSingapore.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeSzeged.pdf">beamerugthemeSzeged.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeWarsaw.pdf">beamerugthemeWarsaw.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemeboxes.pdf">beamerugthemeboxes.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beamerugthemedefault.pdf">beamerugthemedefault.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/doc/beameruserguide.pdf">beameruserguide.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/examples/a-lecture/beamerexample-lecture-beamer-version.pdf">beamerexample-lecture-beamer-version.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/examples/a-lecture/beamerexample-lecture-logo.pdf">beamerexample-lecture-logo.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/examples/beamerexample-conference-talk.pdf">beamerexample-conference-talk.pdf</a>,
-<a href="texmf-dist/doc/latex/beamer/examples/beamerexample-lecture-print-version.pdf">beamerexample-lecture-print-version.pdf</a>.
+<a href="texmf-dist/doc/latex/beamer/beamerexample-conference-talk.pdf">beamerexample-conference-talk.pdf</a>,
+<a href="texmf-dist/doc/latex/beamer/beamerexample-lecture-beamer-version.pdf">beamerexample-lecture-beamer-version.pdf</a>,
+<a href="texmf-dist/doc/latex/beamer/beamerexample-lecture-logo.pdf">beamerexample-lecture-logo.pdf</a>,
+<a href="texmf-dist/doc/latex/beamer/beamerexample-lecture-print-version.pdf">beamerexample-lecture-print-version.pdf</a>,
+<a href="texmf-dist/doc/latex/beamer/beamerlogo.pdf">beamerlogo.pdf</a>,
+<a href="texmf-dist/doc/latex/beamer/beameruserguide.pdf">beameruserguide.pdf</a>.
 </small></li>
 
 <li><b><a href="texmf-dist/doc/latex/beamer-FUBerlin/doc">beamer-FUBerlin</a></b>:<small>
diff --git a/Master/tlpkg/installer/config.guess b/Master/tlpkg/installer/config.guess
index 31e01efec3e..770cb5c7eb0 100755
--- a/Master/tlpkg/installer/config.guess
+++ b/Master/tlpkg/installer/config.guess
@@ -2,7 +2,7 @@
 # Attempt to guess a canonical system name.
 #   Copyright 1992-2017 Free Software Foundation, Inc.
 
-timestamp='2017-11-07'
+timestamp='2017-12-17'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -265,6 +265,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in
     *:Redox:*:*)
 	echo ${UNAME_MACHINE}-unknown-redox
 	exit ;;
+    mips:OSF1:*.*)
+        echo mips-dec-osf1
+        exit ;;
     alpha:OSF1:*:*)
 	case $UNAME_RELEASE in
 	*4.0)