0
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
1 #!/bin/bash
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
2 export PATH=$PATH:${HOME}/bin
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
3 cat tail.html >> helptoc.html
|