chiark / gitweb /
bin/, Makefile: Add some scripts for doing stuff to remote machines.
[profile] / Makefile
index cc84f9bb52abce5ff7126c99aa1619eb978d0114..992fdab6b5a2ec599c4b33995e136551a63053e8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -245,6 +245,9 @@ SCRIPTLINKS         += datasyms
 SCRIPTLINKS            += fixsub
 SCRIPTLINKS            += check-debsyms
 SCRIPTLINKS            += check-blkdev-size
+SCRIPTLINKS            += xremote
+SCRIPTLINKS            += remote-disorder
+SCRIPTLINKS            += remote-slideshow
 
 ## Random odds and ends.
 DOTLINKS               += .infokey .sqliterc