doc/www.do | 1 - diff --git a/doc/www.do b/doc/www.do index 90ff6f0a5594346d3e76353f559bc01cefb64937819563e24288701a13e725f4..2ba68bd54210a3c515a353944f8b21b28282ba7f2921907be768d40240caf9ad 100644 --- a/doc/www.do +++ b/doc/www.do @@ -9,7 +9,6 @@ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ --set-customization-variable FORMAT_MENU=menu \ --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 index.texi