Added authors file.

raharrasy · Sep 30, 2016 · 963eef6 · 963eef6
1 parent ba5efa3
commit 963eef6
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 8 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -0,0 +1,11 @@
+Here is a list of MUCH-APPRECIATED CONTRIBUTORS -- people who have
+submitted patches, reported bugs, helped answer newbie questions, and
+generally made HFO that much better:
+
+Prannoy Mupparaju
+Sandeep Subramanian
+A. Siddharth
+Shivaram Kalyanakrishnan
+Sanmit Narvekar
+Samuel Barrett
+Matthew Hausknecht
diff --git a/doc/manual.pdf b/doc/manual.pdf
diff --git a/doc/manual.tex b/doc/manual.tex
@@ -23,14 +23,6 @@
 \maketitle
 \tableofcontents
 
-\section{Contributors}
-Many thanks to the following contributors for making HFO a better
-environment:
-
-Prannoy Mupparaju (IIT Bombay), Sandeep Subramanian (IIT Bombay),
-A. Siddharth (IIT Bombay), and Shivaram Kalyanakrishnan (IIT Bombay),
-Sanmit Narvekar (UTCS), Samuel Barrett (UTCS).
-
 \section{Overview}
 
 This document describes the installation, usage, state, and action spaces of the HFO domain.