X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintroduction.texi;h=735a54c5a20720859c62c4103f3b4ff1afb5b253;hb=2643958c80bcf6132a8f3be20bc59a845545a195;hp=e87731b56304ab685a2541d2255908e4767b5696;hpb=c54e462a57d5a53a7db97d064cde383eaaa30fe9;p=pspp-builds.git

diff --git a/doc/introduction.texi b/doc/introduction.texi
index e87731b5..735a54c5 100644
--- a/doc/introduction.texi
+++ b/doc/introduction.texi
@@ -31,4 +31,3 @@ The author hopes to fully support all features in the products
 that PSPP replaces, eventually.  The author welcomes questions,
 comments, donations, and code submissions.  @xref{Bugs,,Submitting Bug
 Reports}, for instructions on contacting the author.
-@setfilename ignored