Fix some direntry to point to correct info files. In addition, in an info direntry, the part before ':' needs to be unique, or else gnat-style from gnat-4.4-doc and gnat-4.6-doc will conflict.
# DP: This patch was converted from alpha-ieee-doc.diff # DP: Original comment: # DP: # DP: #212912 # DP: on alpha-linux, make -mieee default and add -mieee-disable switch # DP: to turn default off (doc patch)
# DP: This patch was converted from rename-info-files.diff # DP: Original comment: # DP: # DP: Allow transformations on info file names. Reference the # DP: transformed info file names in the texinfo files.
Changed cross reference to versioned info pages. Created using perl, then manually checked for correctness. perl -i -pe 'if (not /setfilename/) { s/gnat_rm/\@value{fngnatrm}/g; s/gnat_ugn/\@value{fngnatugn}/g; s/gnat-style/\@value{fngnatstyle}/g }' ===================================================================
