diff options
Diffstat (limited to 'doc/tech-notes/pn4tn')
-rwxr-xr-x | doc/tech-notes/pn4tn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/tech-notes/pn4tn b/doc/tech-notes/pn4tn new file mode 100755 index 00000000..aad2b87e --- /dev/null +++ b/doc/tech-notes/pn4tn @@ -0,0 +1,7 @@ +#!/bin/ksh +echo This script will add the PNUTS generated navigation bar to the bottom +echo of the PIC Technical Notes HTML files. +echo '----------------------------------------------------------------------' +# Written by Stefan Kramer, last modified by skramer on 1995/11/02. +pnuts.4tech-notes for.pnuts +# for.pnuts is the file that specifies the sequence of HTML files |