From 6de6bda5b29cbb5a8aef6863c1b5ca999ab4887b Mon Sep 17 00:00:00 2001 From: Fabian Keil Date: Thu, 12 Jan 2017 14:27:47 +0000 Subject: [PATCH] Regenerate HTML docs with recent changes configure.in has been locally reverted to r1.204 to get 3.0.26 stable documentation that can be put on the webserver before the next release. Tidied with tidy 5.2.0 from http://www.html-tidy.org/. As an expected side effect the diff is bloated enough to be considered a "rewrite" by git (again), but using a more recent tidy version should make it easier to prevent frequent diff bloat in the future when building on different platforms. As an unexpected side-effect some pre tags are messed up now and their first line contains bogus white-space that causes rendering issues. This regression should be analysed and fixed or worked around before the next release but doesn't seem critical. It's conceivable that the tidy upgrade caused less obvious regressions that have yet to be found. --- doc/webserver/developer-manual/coding.html | 2451 ++-- doc/webserver/developer-manual/cvs.html | 300 +- .../developer-manual/documentation.html | 877 +- doc/webserver/developer-manual/index.html | 663 +- .../developer-manual/introduction.html | 192 +- .../developer-manual/newrelease.html | 1902 ++-- doc/webserver/developer-manual/testing.html | 301 +- .../developer-manual/webserver-update.html | 239 +- doc/webserver/faq/configuration.html | 1698 ++- doc/webserver/faq/contact.html | 693 +- doc/webserver/faq/copyright.html | 269 +- doc/webserver/faq/general.html | 1283 +-- doc/webserver/faq/index.html | 1100 +- doc/webserver/faq/installation.html | 491 +- doc/webserver/faq/misc.html | 1780 ++- doc/webserver/faq/trouble.html | 1451 +-- doc/webserver/index.html | 313 +- doc/webserver/man-page/privoxy-man-page.html | 75 +- doc/webserver/privoxy-index.html | 282 +- doc/webserver/sponsors/index.html | 40 +- doc/webserver/team/index.html | 97 +- doc/webserver/user-manual/actions-file.html | 9893 +++++++---------- doc/webserver/user-manual/appendix.html | 1737 ++- doc/webserver/user-manual/config.html | 6835 +++++------- doc/webserver/user-manual/configuration.html | 505 +- doc/webserver/user-manual/contact.html | 695 +- doc/webserver/user-manual/copyright.html | 605 +- doc/webserver/user-manual/filter-file.html | 1799 ++- doc/webserver/user-manual/index.html | 1255 +-- doc/webserver/user-manual/installation.html | 980 +- doc/webserver/user-manual/introduction.html | 325 +- doc/webserver/user-manual/quickstart.html | 840 +- doc/webserver/user-manual/seealso.html | 329 +- doc/webserver/user-manual/startup.html | 786 +- doc/webserver/user-manual/templates.html | 296 +- doc/webserver/user-manual/whatsnew.html | 1131 +- 36 files changed, 18089 insertions(+), 26419 deletions(-) diff --git a/doc/webserver/developer-manual/coding.html b/doc/webserver/developer-manual/coding.html index c0fbcaa5..800fa834 100644 --- a/doc/webserver/developer-manual/coding.html +++ b/doc/webserver/developer-manual/coding.html @@ -1,99 +1,74 @@ - + - - - Coding Guidelines - - - - - - - - - -