--- pp3.texi-old	2013-03-05 01:55:14.783100835 +0100
+++ pp3.texi	2013-03-05 02:19:46.294397215 +0100
@@ -1,8 +1,10 @@
 % -*-texinfo-*-
-\def\niceracronym#1{#1}
-%\def\rmdefault{ppl}\def\ne{\mathrel{\not{}\mskip-8mu=}}\input pstexinfo
 \input texinfo
 @address@hidden@address@hidden
address@hidden
+\def\niceracronym#1{#1}
+%\def\rmdefault{ppl}\def\ne{\mathrel{\not{}\mskip-8mu=}}\input pstexinfo
address@hidden tex
 
 @c 	$Id: pp3.texi,v 1.46 2004/03/21 14:33:43 bronger Exp $	
 
@@ -64,20 +66,40 @@
 @acronym{PP3}
 @end macro
 
address@hidden txicommandconditionals
address@hidden inlineraw
address@hidden s {}
address@hidden, @kern0.1667em}
address@hidden macro
address@hidden ifcommanddefined
address@hidden inlineraw
 @macro s {}
 @tex
 @kern0.1667em%
 @end tex
 @end macro
address@hidden ifcommandnotdefined
address@hidden ifset
 
address@hidden xmarksthespot {}
address@hidden txicommandconditionals
address@hidden s {}
 @tex
address@hidden@times{}}'@ignorespaces
address@hidden
 @end tex
address@hidden macro
address@hidden ifclear
+
address@hidden
address@hidden xmarksthespot {}
address@hidden@times{}}'@ignorespaces
address@hidden macro
address@hidden iftex
+
 @ifnottex
address@hidden xmarksthespot {}
 `x'@c
address@hidden ifnottex
 @end macro
address@hidden ifnottex
 
 @copying
 This manual is for @PPTHREE{} (version @value{VERSION}),