diff options
Diffstat (limited to '')
| -rw-r--r-- | rfc/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/rfc/Makefile b/rfc/Makefile new file mode 100644 index 00000000..ed89a4e4 --- /dev/null +++ b/rfc/Makefile @@ -0,0 +1,11 @@ +tags: rfctags.pl + perl rfctags.pl > $@ + +sync: + rsync -z ftp.rfc-editor.org::rfcs-text-only/'rfc[0-9]*.txt' . + +compress: + gzip -9f *.txt + +clean: + rm -f *.txt *.txt.gz tags |