From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 18 Oct 2014 19:06:11 +0000 (-0700)
Subject: pspp-dev.texi: Add authors as @author arguments.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=d8f7854ec35492b9eb88e63ebe1c0e92274c069e

pspp-dev.texi: Add authors as @author arguments.

With a blank @author, makeinfo complains.
Without @author at all, the title page in TeX output looks funny.
So this commit simply names the authors, as determined by "git log" on
the doc/dev directory.
---

diff --git a/doc/pspp-dev.texi b/doc/pspp-dev.texi
index ee74424ff0..15fe727fa4 100644
--- a/doc/pspp-dev.texi
+++ b/doc/pspp-dev.texi
@@ -53,7 +53,8 @@ Free Documentation License".
 @title PSPP Developers Guide
 @subtitle GNU PSPP Statistical Analysis Software
 @subtitle Release @value{VERSION}
-@author
+@author Ben Pfaff
+@author John Darrington
 @page
 @vskip 0pt plus 1filll
 @insertcopying