From e5c5525baebac7e784f801f91fc12fca700a3c4e Mon Sep 17 00:00:00 2001 From: Neels Hofmeyr Date: Tue, 29 Mar 2016 17:16:30 +0200 Subject: rename README.msc to README The .msc file ending is no good for shell globs like '*.msc' --- doc/README | 2 ++ doc/README.msc | 2 -- 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 doc/README delete mode 100644 doc/README.msc (limited to 'doc') diff --git a/doc/README b/doc/README new file mode 100644 index 0000000..580fa8f --- /dev/null +++ b/doc/README @@ -0,0 +1,2 @@ +sudo apt-get install mscgen +mscgen -T svg hnb_cs_lu.msc diff --git a/doc/README.msc b/doc/README.msc deleted file mode 100644 index 580fa8f..0000000 --- a/doc/README.msc +++ /dev/null @@ -1,2 +0,0 @@ -sudo apt-get install mscgen -mscgen -T svg hnb_cs_lu.msc -- cgit v1.2.3