Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001795OCamlOCaml generalpublic2003-08-23 10:532003-08-26 15:22
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001795: Wish: refman.info improvement
DescriptionFull_Name: Yamagata Yoriyuki
Version: 3.06
OS: Linux
Submission from: p2114-adsau14honb7-acca.tokyo.ocn.ne.jp (220.106.58.114)


The current refman.info doesn't seem to follow GNU convention of info. In
particular, I'd like to suggest the following improvement.

1) It is better if chapters and sections are referred by their name, not
numbers. This change enables a user to use "m" command to jump desired sections
and chapters.

2) Make all chapters listed in the top index, while move licence conditions or
like to their own sections.

3) Remove decorative ****** and *=*=*=*

In general, I think it is preferable to create info from texi, not directly from
latex files by havea.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000161)
administrator (administrator)
2003-08-26 15:22

Looks like an Hevea issue...

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker