diff options
Diffstat (limited to 'share/Makefile.am')
| -rw-r--r-- | share/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/share/Makefile.am b/share/Makefile.am index f1f44b05..b31564ab 100644 --- a/share/Makefile.am +++ b/share/Makefile.am @@ -65,6 +65,4 @@ nobase_dist_pkgdata_DATA = \ www/script/jquery.suggest.js \ www/script/json2.js \ www/script/pprint.js \ - www/script/shell.js \ - www/shell.html \ www/style/layout.css |