From b6469d3a8478cbe1a644e8c4c02262513b814dee Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Sat, 25 May 2002 22:21:27 +0000
Subject: [PATCH] Allow passing options to genps.pl from the user command line

---
 doc/genpsdriver.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/genpsdriver.pl b/doc/genpsdriver.pl
index 68cbc28b..c2d8085c 100644
--- a/doc/genpsdriver.pl
+++ b/doc/genpsdriver.pl
@@ -26,4 +26,5 @@ close(VERSION);
 
 # \240 = no-break space, see @NASMEncoding in genps.pl.
 # If we use a normal space, it breaks on 'doze platforms...
-system($perl, $genps, '-subtitle', "version\240".$version, 'nasmdoc.dip');
+system($perl, $genps, '-subtitle', "version\240".$version,
+       @ARGV, 'nasmdoc.dip');