www.do | 1 - diff --git a/www.do b/www.do index 87e68b3bf7d66c5de4f420a662e0f3172b0d39f94970dcacb630bd3e8a706ee7..ec1dd8a8246805eb9f4dc7c6357b683cd406b50aad25b55cb8066c97515f92ca 100644 --- a/www.do +++ b/www.do @@ -10,7 +10,6 @@ --set-customization-variable FORMAT_MENU=menu \ --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable DATE_IN_HEADER=1 \ - --set-customization-variable TOP_NODE_UP_URL=index.html \ --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ -o $html www.texi