aboutsummaryrefslogblamecommitdiffstats
path: root/doc/texinfo.tex
blob: e758cedae7e6f6a275a12d50a285f634494137f9 (plain) (tree)
1
2
3
4
5
6
7
8
9
10


                                                         
                                                              
 
                                  
 


                                                                     















                                                                        


                                                                       


                                                                    
                                                                    
                                 

                                                             
                                                        




                                                                      
                                                                     

                                                                       



                   

                                                                 

                                                                        
 





                                                                    

                                                    



                                                                   
                                                      

                                         







                                                           






                       

                     


                           
             


                           
                  

               
                  
                 


                



                                                                  








                                                                        
                                                    




































                                                                                                 
                                                                 













                                                                    




                 













                                                                         

                                                             

                       

                                        


































                                                                            

                                                                      


                                                                        

                                                                    

















                                                              
  
 

                                                                       
 






                                                                            

                                  
 





                                         



                                                                          






























                                                                              
                                                                        
                                                          
       

                                              









                                                





















                                                                        







                                                
          


                                                 
                                           































                                                                           


                               

              


                                                                            

 


                                                      
                                         


    


                                                                   
 


                                                                          
                         















                                                                         

 






                                                                          
 





















                                                                      
             













                                                                         



                                                                             














                                                                             
 
 



                                                    
 


                                                              
 



                                               
       
              


     

                                   
                      








                                                               

 

                                                           
 







                                                                                 

 
                                            
 




                                              
                    








                                                               

                             


                


                                                          
                                 








                                       

                                                            
                                                              






                                 

                                                                     

                     

                                                                       











                                                           


















                                                                        











                                                                        





                                             


                         


                                  
                                
                           

                                 
                           













                                                                        











                                                                        


                                                                    
                     
   
                                 








                                                                     

























                                                                             











                                                                     
                              
                         


                                                         
                                            


                   
                   
                                                                       


              































                                                                          

 
                                                     


              
                                       
 









                                                                               
                                                                             

                                                                

                                                               
 



                                                                          

                                             






















                                                                        
 

                                                                         
                                     














                                                                            

                                                     



                                                        
                    

















                          
 












                                                                       
 
               
 




















                                                       


                                           
                                       




                                                            



                                                         


               

                                         


                                                             


                                                        
                              









                                

 



                                                       
                            








                           

 




















































                                                                       
                                                                 
 
               
 
                                          
 

                                                                       








                                                                      



                                                                    
 




                                                                        
                 
                         




















                                                                      
 
                                                                  


























                                                                       
 





                                                                              
 






                                                                      
                                                              
           


                                                                       

                                                        
                                                              


                                                      
                        

                                        

                                         

 
                           
 







                    
 



















                                                      


                                                                        
                        
     









                      
                 
                                      


                         

                                                                     
                             
                         
         
                          
       


                                                         
                





                                   






                                                                         
                     






                                                                        
                         
                                                       



















                                                                    


                                                               































                                                                        
                         

























                                                                            
                         


             







                                   
                                      




















                                                
















                                                                       
                          


                                                        





                                                                        
                                                 


                                                                     
                                                                     














                                                             






                               
 

                


















                                                                            
 
                                                                               
                     
             
                                      

                                                  

                                         
 




















                                                                       



























                                                                    
                                
                     
                 
                         
                        

                                   
     


                                           
   








                                             

                                        
                                     

                                                                        
 






















                                                     
 
                                










                                           
                     
























                                           







                                          
                                  

                                      











                                         


                                                                        


                                                                        

                     


                                                                      

 
                                                                        









                                                                        


                                                              


                                                        
                                            




                                                                 
                                       
                                    
                                     



                                                                               
                                    



                                                           


                                                     



                                                              


                                                        
                                    







                                                                         




                                                                 
                                           





                                                                       
                                           
                                     

















                                                                       


                                                                  
              
 



                                                             




                                               
                                                       
                                      
                                      





                                                                            











                                                                        

                   
                          

                      
                      










                                                                         










                                                                        



                                        
                               


                                                      
                                                
                           
                                                       
                       
                                             



                                                        
                                       
               
                 























                                                                       
                                                        








                                                                







                                       



                                    










                                                                             

                                   





                                                                           
                            






                                                    


                                                      





                           

                        






                                                                

                                                                         

                  
 










                                                                        
                  
                                              
       









                                                                       
     

          
 



                                                            

                                                      
 
                                            











                                           








                                                                      
                                                                         









                                                                      
                                                   
                                            


                                                























                                                               
 

                                                                      

                    

















                                                                             









                                                             
                                                                        

                                                                          




                                                                          
                                                                                   

                                   












                                                                              
                               
                         
         
                          


           


                 


























                                                                        


                      





































                                                                          

 
 



                                      



                                                 
 
                                  












                                                                      
 


                                                         

                                                              


                                                       

                                                             
                                                                 
 


                                                         

                                                              


                                                       







                                                                 

                                                                












                                                                             
                  







                                                                         
                     










                                                                        
                     




























                                                            
















                                                                       
                                         


                 
                                               










                                                           
                                                                    










                                                                               


                                 
                                    


                                                 



















                                                                        







                                                                         



                                                                        
                                                           
             








                                                                               


     

                                                               
 
                           




































                                                      
 




                                   




                                                                  
                                    
 












                                                           

 



















                                                                        









                                                                      
                                                         
                                     











































                                                                        

























                                                                       
                                                                          




                                                                         
                         









                                                                        

























                                                                           





                                                                          

                                                                        










































                                                                           



                                                                        
                               
                                                                















                                      

                                                                              













                                                                       











                                                                              


                                              


                                            
                







                                                                        






                                 
   
















                                                                            


                                                      



                                                                 
















































                                                                              




























                                                                              
 
                       





                                                                        
 

















                                                        
                              
                              
                                  


                                        
                          
                        
 
                                                                           
 


                                           
                           



                              

                                                                               
               
   

                                         
   

                                                       
 
 

                                                                               
   

                                                               
     






                                                                           
     



























                                                                        
 
 



                                        

                                                           
 


                                                                       

                                                         
 
                                      
                            









                                        
 

                                             
 

                                                    





                                                         
 
                                                  

                                                    
 
                                             
   








                                                                  
 
 
                                                                      





                                                                        



                                               
                                                         
       


                           
 


                                                                    












                                                                           
 
                                
 


                                                                      


                                                                     
 






                                                               


                            
















                                                                        







                                                                   


                                   
 


                                                                       


                                         





                                                    
                               

 


                                                                            
 

                                                                         
 


















                                                                          


















                                                                        



                                                                       
                   































                                                                            
 



























































































                                                                          
 






































































































































                                                                         


                                                                  

                                                                    
 
                     























                                                                

                                                 
                                                                         
     





















                                                                           
    







































































                                                                              

 


































                                                                           
                                   

                                   
                 
                   
                                                                               

                                                 




                                                                   





                                                                       
                            






                                                                         
                          



                                                                            
                                             
                     











                                                        





                                                            
   
                                                                



                                 




                                                                        
   


                                                  

                                               
                                              
  
 


                                                                           
 



















                                                                         
     

                                                                        
     







































                                                                           
         















                                                                          
       


           







                                                                                    











                                                                    











                                                                

              



                                                                       





                                                                        
     






                                                      




























                                                                        


                                                                     
 




                                                                 

                     
                                     
   





                                                             


                                                                     
                
                     
   
                             

                                      
 
 
                               
                       
              
                                                                    










                                                                       

        
                                            





                                                                     
 

                                                  
                     
                                                                           


                                  

                                                                               

                                          









                                                                            

                                     
   





                     
                          
 





                                                                       






                                                                              
 
                                           

                                                                  
                                            
 

































                                                                          
 
                                                        
                                                                 
                                                             

                  

                                                              
                                                                             








                                                                         





















                                                                         
       


                           
     





                                      
       













                                                                
     







                                    
       














                                    
     
                               

 














































































                                                                                      
 

                                                               







                                                                    
 
                           
                   
 
           
















                                                                                     
 
 
              

















                                                                                       
 
 
                 



















                                                                                       



                                                                        


                                       


                                                
                                                                        







                                                                     



                                                 
 







                                                       

                                        





                                                                         







                                                                            










                                                                             
                 



                                           
                




                                           
                 






                                             










                                                              


                  














































                                                                           
                                                                          
                                                 





                                                        

                                         




                                   
 
 




                                                                       


                                                                  
                                                          
 



                                                                             


                                                                  
                                                                   
 


                                             
 
 


                                                                    
                       
                                                     

                    

                                                          

                       

                                               

 
                                          
 




                                                                        

                                       
                                 
     

                                     
     































                                                                          
                                                                          

                                                       
    



















                                                                             


 
              
                    


                                                          






                                                                          
 



                                                                          
 
                      
















                                                                       
     
   






                                                                      
 

                                                     


                                                     
                                                 
 
                      






















                                                                             



                    
               













                                                                     


                        
                      






























                                                                     


                                     
















                                                                        
 




                                                                      
                                 
                                                            


                                                            

                                                                               

 
                                   
                                               
 





                                                                      
 
                      

                                                                             

           


                                                          

              


                                                                

                     


                                                                      

                                                                

                                     









                                                                               
                                              





                                                      
                                           



                                         
                                           



                                            
                                           

          

                                                        








                                                           

                                    


                       
                    
 
                                                        
 

                                                                             
 





                                                                        
                       
                                    
 

                



                                                                         
 
                                       

                                                                   
          





                                                                          
 





                                                                        
             

                                              
                                                               
                 




                     










                         

                             


                    
                   





                                                                               

                                   
 
                             
                                                          
                                                                      








                                                                        





                                                                       
                                                   
 
                     


                                                                      



                                      


                                                                       



                          





                                                                    

                                                                        


















                                                                       




























                                                                      
                 









                             





                                                                     

                                                                       









                                                             
     
                           

 



                                                                          
 













                                 
 






                                                                    

 




                            
 
                                                                      
 
                                                  
                                        





                                                                      

 
                                                                 
 
                        
               

         
 
                                                                     
 

                       
               

         
 






                                                                

              
 

                       
               
                                     

         
                                 
 
 
                                                                        


                                                                      
 
                   
                                                                        
                







                                                                            




















                                                                     

 
 
                                                                 
                                              




                                                                       


                                                                     
                 



                                          


                        
                                             














































                                                                      

                                      












                                                       

                                                        





                                                         
                                                              










                                                                
                                               
                                                               
                                        

                                                      
 

                     






                                                                        

         

                             
 

                               


                                                                      
                                                                       

                          





                        

 

                                              
 














                                                                       

 
                 

             

                                          

                                                


















                                                                        





                                     









                                                                      
 
                               
 
                                    
 













                                                                      

 
                              
 

                                                        
 




                                                          

 
                                          
 

                                                
 






                                                   

 
                      
 

                                  
 

                                              
 

                                                                       
 





                                                                        

 
                    
 

                                          
 

                                                      
 

                                                                               
 




                                                   

 
                    
 

                                          
 

                                                      
 

                                                                               
 




                                                  

 
                      
 

                                              
 

                                              
 

                                         
 




                                          

 











                                                               
 



                                                              
 
                                                            
 
















































                                                                               

 



                                                                        
 









                                                                       

 
                                                     
 



                                         

 

                                                                 
 







                                                                       
 


                                                              
 
                    
 













                                                                     
 





                       
 
                           
 



                                 
 



                                  

 








                                  
 











                                                

 


                 
                                                           

                                                                    







                                               
   
 

























                                                                             


                                         

                                                            

                   



                                                     
                



                                 











                                                       
                                    








                                                                        

                                                                      

                                                          

















                      
                    





                      

                   


                    

                                                          
                                                     

















                                                                           
                                      
     
                                            
                                                

                                                          
                                                                        





                                                                     


                                         
                                 

      
                      


                                                           
                                            
               


                                                
             
       
                                      


     










                                                                       






















































                                                                     

                                                                 




                                                             
                                                    
                                                            
                                                                       


                              
                                         










                                                        

                                                                 






                                                             
                                                                
                                                            
                                                                       



















                                                                    
                         

            
                                                                    



                                                                   













                                                                           



                                                                      
                                              
                                   






                                                           
 

                           
 


                                                      

                                                                      
                                



                                                                                                    












                                                                       
                 








                                                                     

     
 
                                                         

                        

















                                                                        
                 















                                                                        
 



                                                                        




                                             
              
                                       


                                         



                                                                           
                                            


                                                                       
                       
                                                       
                                              


                                                              
                                                 

                                                   
                                                




            
                            


                     
                                   




                                               
                                  




              

























                                                                       
       






























                                                                               
     
          

          





                                                                        
 
                                
 
























                                                                             


                                                                              
 
               






                                                            
                                             








                                                                            



                                   
             



                                    


                                                                     
 




















                                                                             
 

                                                                    









                         



























                            
                                                                              











                                                                        


                                                            










                    
                    
                                                                           










                                                                      







                                   

                                                                

               
               
   
                     


          

                      












                                                                       



                                               

                             





                                                                     
                                                              



                                                                          
             




                                                                           

                                                                         

                                         

                        


                                                                     
                   









                                                               

                 








                                                                        







                                                                  

                     









                                                                           
 





                           

 

                                                                            
 





































                                                                     


                                                               
 


                                                                      
                    
              

                                                                  
                               

                 
          
 
                                                    


                                                                        
                                      
 







                                                              
                            





                                                              


                                                                









                                                                
                      





                          
        
                            
       


                                                                              
                     
     


                                                                   

 






































































































































































































































































                                                                               







                                                                 
                               
                                           








                                                        
           
 



                                                                         
 


                                                                   
 
 

                       
                                                   





                                           



                                                     







                                                                        
                                                       
 




                                                     
                                 

     
 
                                                               

                                                                        
 



                                                                     








                                             
   



                              
   

                           
   




                           

                           

                                

 


                                   
                       

                                                       



                                           




                                                              
                     
   



                                           




                            
                       

  
                                                
                                
                                   
                       
   













                                                                          


                  

                            
  
 






                                                        



                                          



                        
                            

                      

  
                                                                 
                                
             



                                          
   
                                                           
                 
  
 

                                                          
             





                                          



                                                                  
 
                                                 




                                                                        
                            
   









                                              


                        
 

            
 
                                              









                                                                          
                  







                         
                                    
 

                                                                          






                                                                      






                                                                          






                                                                       
                                    

                        
                    






                                    
                                                                             

                   
                    







                     
                   
                                                       








                                                                            



                                                                            
 


                                                                        
                    





                                                               

                                                             
                                            
 



                                                                


















                                                                        

















                                                                              







                                             
 
                                                            


                    
 
 
                   
                                                 
                                 
                                             
                                          
                      
       





                                                 
% texinfo.tex -- TeX macros to handle Texinfo files.
%
% Load plain if necessary, i.e., if running under initex.
\expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
%
\def\texinfoversion{2004-09-06.16}
%
% Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
% 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004 Free Software
% Foundation, Inc.
%
% This texinfo.tex file is free software; you can redistribute it and/or
% modify it under the terms of the GNU General Public License as
% published by the Free Software Foundation; either version 2, or (at
% your option) any later version.
%
% This texinfo.tex file is distributed in the hope that it will be
% useful, but WITHOUT ANY WARRANTY; without even the implied warranty
% of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
% General Public License for more details.
%
% You should have received a copy of the GNU General Public License
% along with this texinfo.tex file; see the file COPYING.  If not, write
% to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
% Boston, MA 02111-1307, USA.
%
% As a special exception, when this file is read by TeX when processing
% a Texinfo source document, you may use the result without
% restriction.  (This has been our intent since Texinfo was invented.)
%
% Please try the latest version of texinfo.tex before submitting bug
% reports; you can get the latest version from:
%   http://www.gnu.org/software/texinfo/ (the Texinfo home page), or
%   ftp://tug.org/tex/texinfo.tex
%     (and all CTAN mirrors, see http://www.ctan.org).
% The texinfo.tex in any given distribution could well be out
% of date, so if that's what you're using, please check.
%
% Send bug reports to bug-texinfo@gnu.org.  Please include including a
% complete document in each bug report with which we can reproduce the
% problem.  Patches are, of course, greatly appreciated.
%
% To process a Texinfo manual with TeX, it's most reliable to use the
% texi2dvi shell script that comes with the distribution.  For a simple
% manual foo.texi, however, you can get away with this:
%   tex foo.texi
%   texindex foo.??
%   tex foo.texi
%   tex foo.texi
%   dvips foo.dvi -o  # or whatever; this makes foo.ps.
% The extra TeX runs get the cross-reference information correct.
% Sometimes one run after texindex suffices, and sometimes you need more
% than two; texi2dvi does it as many times as necessary.
%
% It is possible to adapt texinfo.tex for other languages, to some
% extent.  You can get the existing language-specific files from the
% full Texinfo distribution.
%
% The GNU Texinfo home page is http://www.gnu.org/software/texinfo.


\message{Loading texinfo [version \texinfoversion]:}

% If in a .fmt file, print the version number
% and turn on active characters that we couldn't do earlier because
% they might have appeared in the input file name.
\everyjob{\message{[Texinfo version \texinfoversion]}%
  \catcode`+=\active \catcode`\_=\active}

\message{Basics,}
\chardef\other=12

% We never want plain's \outer definition of \+ in Texinfo.
% For @tex, we can use \tabalign.
\let\+ = \relax

% Save some plain tex macros whose names we will redefine.
\let\ptexb=\b
\let\ptexbullet=\bullet
\let\ptexc=\c
\let\ptexcomma=\,
\let\ptexdot=\.
\let\ptexdots=\dots
\let\ptexend=\end
\let\ptexequiv=\equiv
\let\ptexexclam=\!
\let\ptexfootnote=\footnote
\let\ptexgtr=>
\let\ptexhat=^
\let\ptexi=\i
\let\ptexindent=\indent
\let\ptexnoindent=\noindent
\let\ptexinsert=\insert
\let\ptexlbrace=\{
\let\ptexless=<
\let\ptexplus=+
\let\ptexrbrace=\}
\let\ptexslash=\/
\let\ptexstar=\*
\let\ptext=\t

% If this character appears in an error message or help string, it
% starts a new line in the output.
\newlinechar = `^^J

% Use TeX 3.0's \inputlineno to get the line number, for better error
% messages, but if we're using an old version of TeX, don't do anything.
%
\ifx\inputlineno\thisisundefined
  \let\linenumber = \empty % Pre-3.0.
\else
  \def\linenumber{l.\the\inputlineno:\space}
\fi

% Set up fixed words for English if not already set.
\ifx\putwordAppendix\undefined  \gdef\putwordAppendix{Appendix}\fi
\ifx\putwordChapter\undefined   \gdef\putwordChapter{Chapter}\fi
\ifx\putwordfile\undefined      \gdef\putwordfile{file}\fi
\ifx\putwordin\undefined        \gdef\putwordin{in}\fi
\ifx\putwordIndexIsEmpty\undefined     \gdef\putwordIndexIsEmpty{(Index is empty)}\fi
\ifx\putwordIndexNonexistent\undefined \gdef\putwordIndexNonexistent{(Index is nonexistent)}\fi
\ifx\putwordInfo\undefined      \gdef\putwordInfo{Info}\fi
\ifx\putwordInstanceVariableof\undefined \gdef\putwordInstanceVariableof{Instance Variable of}\fi
\ifx\putwordMethodon\undefined  \gdef\putwordMethodon{Method on}\fi
\ifx\putwordNoTitle\undefined   \gdef\putwordNoTitle{No Title}\fi
\ifx\putwordof\undefined        \gdef\putwordof{of}\fi
\ifx\putwordon\undefined        \gdef\putwordon{on}\fi
\ifx\putwordpage\undefined      \gdef\putwordpage{page}\fi
\ifx\putwordsection\undefined   \gdef\putwordsection{section}\fi
\ifx\putwordSection\undefined   \gdef\putwordSection{Section}