From 9311b4fc107da2f2e9a2624520cfe2ffd216af53 Mon Sep 17 00:00:00 2001 From: Kevin Greenan Date: Mon, 9 Jun 2014 08:34:50 -0700 Subject: Removed PDF from the repo and added a note in the README that describes how to get the manual. --- Manual.pdf | Bin 501334 -> 0 bytes README | 6 ++++-- 2 files changed, 4 insertions(+), 2 deletions(-) delete mode 100644 Manual.pdf diff --git a/Manual.pdf b/Manual.pdf deleted file mode 100644 index 59968bb..0000000 Binary files a/Manual.pdf and /dev/null differ diff --git a/README b/README index 50968eb..b879fc3 100644 --- a/README +++ b/README @@ -8,8 +8,10 @@ Authors: James S. Plank (University of Tennessee) Adam W. Disney (University of Tennessee, Allen C. McBride (University of Tennessee) -The user's manual is in the file Manual.pdf. You may also get a copy of that -manual at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf. +The programmer's manual and tutorial is provided in two places: + +1.) A copy is hosted on BitBucket at https://bitbucket.org/jimplank/gf-complete/downloads/GF-Complete-Manual.pdf +2.) A copy is also available at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf The online home for GF-Complete is: -- cgit v1.2.1