Go to the first, previous, next, last section, table of contents.


1 Modifying this same manual

1.1 Editing the manual

GDT developers are encouraged to update this manual. It should include all the common information about the GDToolkit project. In order to modify it, you have edit the files in the directory `$(GDT_HOME)/docs/'.

1.1.1 Texinfo in brief

The characters `@', `{', and `}' are reserved to Texinfo. To insert these characters into you text you have to escape them like this: `@@', `@{', and `@}'.
Here are some simple commands in Texinfo format:

1.1.1.1 Basics

1.1.1.2 Document logical organization

1.1.1.3 Lists

1.1.1.4 text formatting

1.2 Generating the HTML manual

Launch the command make -f makefile.platform.
This will generate all the documentation in HTML format.

1.3 Updating the on-line documentation

To update the on-line documentation you have to generate the HTML manual and then launch publisher.


Go to the first, previous, next, last section, table of contents.