diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html index 5e660609ba..75adccc961 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.html +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html @@ -60,6 +60,8 @@ Dependencies Conflicts Modules +
(there is no undo!)
Install this package with:

raco pkg install

or, with the 'File|Install Package...' menu option in DrRacket.
diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.js b/pkgs/plt-services/meta/pkg-index/official/static/index.js index 70c15b5bf8..19af080e00 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.js +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.js @@ -59,14 +59,16 @@ $( document ).ready(function() { it.val(initv).focus(); } ) ); } } $( "#pi_name" ).text( pkgi['name'] ); - make_editbutton ( "pi_name", pkgi['name'], submit_mod_name ); + make_editbutton ( "pi_name", pkgi['name'], submit_mod_name ); if ( mypkg_p ) { - $( "#pi_name" ).append( $('