/proc/self/root/usr/share/doc/mpfr
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
Copyright 2000-2020 Free Software Foundation, Inc.Contributed by the AriC and Caramba projects, INRIA. This file is part of the GNU MPFR Library. The GNU MPFR Library is free software; you can redistribute it and/or modifyit under the terms of the GNU Lesser General Public License as published bythe Free Software Foundation; either version 3 of the License, or (at youroption) any later version. The GNU MPFR Library is distributed in the hope that it will be useful, butWITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITYor FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General PublicLicense for more details. You should have received a copy of the GNU Lesser General Public Licensealong with the GNU MPFR Library; see the file COPYING.LESSER. If not, seehttps://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. ############################################################################## The GNU MPFR distribution contains the following files:(This does not apply to code retrieved by Subversion.) AUTHORS - the authors of the libraryBUGS - bugs in MPFR - please read this file!COPYING - the GNU General Public License, version 3COPYING.LESSER - the GNU Lesser General Public License, version 3ChangeLog - the log of changesINSTALL - how to install MPFR (see also mpfr.texi)Makefile* - files for building the libraryNEWS - new features with respect to previous versionsPATCHES - empty file (until patches are applied)README - this fileTODO - what remains to do (any help is welcome!)VERSION - version of MPFR (next release version if taken by Subversion)ac*.m4 - automatic configuration filesar-lib - auxiliary installation filecompile - auxiliary installation fileconfig.* - auxiliary installation filesconfigure* - configuration filesdepcomp - auxiliary installation filedoc/ - directory containing documentation (manual, FAQ, etc.)examples/ - directory containing examplesinstall-sh - installation fileltmain.sh - auxiliary installation filem4/ - directory containing additional configuration filesmissing - auxiliary installation filempfr.pc.in - auxiliary pkg-config filesrc/ - directory containing the MPFR sourcetest-driver - auxiliary installation filetests/ - directory containing the testsuite (for "make check")tools/ - directory containing various toolstune/ - directory containing files for tuning MPFR According to the special exception to the GNU General Public License,the autotools files compile, config.sub, config.guess, ltmain.sh,m4/libtool.m4 and missing are distributed under the same licence ofGNU MPFR. For any copyright year range specified as YYYY-ZZZZ in this package,note that the range specifies every single year in that closed interval. Official GNU MPFR website: https://www.mpfr.org/ NOTE: At the time of the release 4.1.0, the MPFR repository is hosted atInriaForge, but it will need to migrate since InriaForge will shut down inDecember 2020. Please go to https://www.mpfr.org/ for the current status.What follows remains valid until the migration is done. You can get the latest source code by Subversion at InriaForge: svn checkout svn://scm.gforge.inria.fr/svn/mpfr/trunk mpfr or svn checkout https://scm.gforge.inria.fr/svn/mpfr/trunk mpfr (the last argument can be any directory name). You can use svn ls svn://scm.gforge.inria.fr/svn/mpfr/branches svn ls svn://scm.gforge.inria.fr/svn/mpfr/tags to get the list of branches or tags (releases), then checkout aparticular branch or tag instead of the trunk. Alternatively, youcan now use the "https:" scheme (a.k.a. DAV) instead of "svn:".For more information about Subversion, please see: * http://svnbook.red-bean.com/ (the official Subversion book); * https://gcc.gnu.org/wiki/SvnHelp (written for GCC developers, but interesting general information can be found there); * http://subversion.apache.org/faq.html (the Subversion FAQ). Subversion users should read the file "doc/README.dev" (in thesource tree).