X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fget-commands.pl;h=7d5ac4534b5c215c625fb63323ef674e6bfd2090;hb=c8f256a85dcce5cd02711e387f3d42d41646646b;hp=a1bfd5c80fd91582da98b16af79de81d461ba261;hpb=1b1837591924226078c96db15888b68beec2ef6d;p=pspp

diff --git a/doc/get-commands.pl b/doc/get-commands.pl
index a1bfd5c80f..7d5ac4534b 100755
--- a/doc/get-commands.pl
+++ b/doc/get-commands.pl
@@ -1,11 +1,11 @@
 #!/usr/bin/perl
-# Creates Texinfo documentation from the source 
+# Creates Texinfo documentation from the source
 
 use strict;
 use warnings 'all';
 
-my ($file) = $ARGV[0]; 
-open(INFO, $file) || die "Cannot open \"$file\"\n" ;	
+my ($file) = $ARGV[0];
+open(INFO, $file) || die "Cannot open \"$file\"\n" ;
 print "\@c Generated from $file by get-commands.pl\n";
 print "\@c Do not modify!\n\n";