diff --git a/README b/README index 710a925dfd0dc2d8ae0704ac69841b68850374f2..43f95dd29fd0c92148adab6f0da09d9031e275e0 100644 --- a/README +++ b/README @@ -1,4 +1,4 @@ -Pike by Fredrik Hübinette 1994-2001 and the Pike team 2001-2011 +Pike by Fredrik Hübinette 1994-2001 and the Pike team 2001-2014 Permission to copy, modify, and distribute this source for any legal purpose granted as long as my name is still attached to it. More @@ -18,8 +18,8 @@ The top-level makefile (in this directory, not the src directory) has all the magic you need to build Pike. Just type 'make'. To install type "make install" or "make install_interactive". -You will need gnu m4, bison and a C compiler. You probably also want -to use GNU make and libz. +You will need a C compiler and libgmp. You probably also want to have +GNU make and libnettle. If that doesn't work, refer to README-GIT, in particular the sections on additional "DEPENDENCIES", on "CONFIGURE OPTIONS AND BUILD VARIABLES", diff --git a/README-GIT b/README-GIT index a1b33ff374469f276bcfb7011297e3153226544e..6277a011bbcc56ecebb8e41d19410fde04a7b85b 100644 --- a/README-GIT +++ b/README-GIT @@ -118,9 +118,6 @@ Some options for the configure script are: --prefix=/foo/bar if you want to install Pike in /foo/bar, default is /usr/local. --without-gdbm compile without gdbm support ---without-bignums disable support for large integers ---without-gmp compile without gmp support (implies - --without-bignums) --with-rtldebug compile with runtime debug checks --without-cdebug compile without debug symbols (-g) --with-debug same as --with-rtldebug --with-cdebug diff --git a/src/export_list b/src/export_list index 863a6433439c47ebcb88eb1f7cbe055435f822bf..713f9b367312dad5eca2d63a15b16092756c3e19 100644 --- a/src/export_list +++ b/src/export_list @@ -15,6 +15,8 @@ /man /packaging /refdoc/chapters +/refdoc/doxfilter.sh +/refdoc/doxygen.cfg /refdoc/presentation /refdoc/src_images /refdoc/structure