Correcting_mistakes.html:
         name=Correcting mistakes
 Listing_the_files_in_a_directory.html:
         name=Listing the files in a directory
 Logging_out.html:
         name=Logging out
 Power_tools.html:
         name=Power tools
 Changing_the_permissions_on_a_file.html:
         name=Changing the permissions on a file
 Renaming_files.html:
         name=Renaming files
 Summary_02.html:
         name=Summary
 Summary_03.html:
         name=Summary
 Finding_out_the_time_and_date.html:
         name=Finding out the time and date
 Summary_04.html:
         name=Summary
 Setting_your_path.html:
         name=Setting your path
 Searching_for_text_within_files.html:
         name=Searching for text within files
 Summary_05.html:
         name=Summary
 Filenames.html:
         name=Filenames
 Identifying_your_current_directory.html:
         name=Identifying your current directory
 Using_a_file_as_input_to_a_command.html:
         name=Using a file as input to a command
 Summary_06.html:
         name=Summary
 Directories_and_files.html:
         name=Directories and files
 Summary_07.html:
         name=Summary
 Using_the_vi_editor_in_mail.html:
         name=Using the vi editor in mail
 SCO_UNIX.html:
         name=SCO operating system
 Changing_permissions_with_absolute_mode.html:
         name=Changing permissions with absolute mode
 Summary_08.html:
         name=Summary
 Using_pipes_to_build_your_own_utilities.html:
         name=Using pipes to build your own utilities
 Files.html:
         name=Files
 Summary_09.html:
         name=Summary
 Permissions.html:
         name=Permissions
 Printing_several_copies.html:
         name=Printing several copies
 Commands_revisited_pipes_and_redirection.html:
         name=Commands revisited: pipes and redirection
 Mailing_several_people_at_once_aliases.html:
         name=Mailing several people at once: aliases
 Setting_your_file_creation_mask.html:
         name=Setting your file creation mask
 Joining_files_together.html:
         name=Joining files together
 Copying_files.html:
         name=Copying files
 Putting_text_into_a_file.html:
         name=Putting text into a file
 Changing_your_password.html:
         name=Changing your password
 OSTut_organization.html:
         name=How this book is organized
 Appending_one_file_to_another.html:
         name=Appending one file to another
 Going_from_DOS_to_UNIX.html:
         name=Going from DOS to UNIX
 Your_home_directory.html:
         name=Your home directory
 Forwarding_mail.html:
         name=Forwarding mail
 Changing_the_group_of_a_file.html:
         name=Changing the group of a file
 OSTut.typog.html:
         name=Typographical conventions
 Reading_a_file_one_screen_at_a_time.html:
         name=Reading a file one screen at a time
 Printing_files.html:
         name=Printing files
 Saving_mail.html:
         name=Saving mail
 Moving_around_in_a_file.html:
         name=Moving around in a file
 Your_terminal_type.html:
         name=Your terminal type
 Logging_in.html:
         name=Logging in
 Canceling_a_print_job.html:
         name=Canceling a print job
 Remembering_your_appointments_.html:
         name=Remembering your appointments
 Removing_files.html:
         name=Removing files
 Changing_directories.html:
         name=Changing directories
 More_mail_features.html:
         name=More mail features
 Identifying_your_shell.html:
         name=Identifying your shell
 Reading_just_the_first_or_last_lines_of_a_file.html:
         name=Reading just the first or last lines of a file
 Electronic_mail.html:
         name=Electronic mail
 More_ways_to_look_at_files.html:
         name=More ways to look at files
 Managing_files.html:
         name=Managing files
 Configuring_mail.html:
         name=Configuring mail
 Your_environment.html:
         name=Your environment
 Narrowing_the_listing_using_wildcards.html:
         name=Narrowing the listing: using wildcards
 Summary_10.html:
         name=Summary
 Hidden_files.html:
         name=Hidden files
 Making_directories.html:
         name=Making directories
 Listing_more_information_about_files.html:
         name=Listing more information about files
 OSTut.doc.html:
         name=Related documentation
 Creating_command_aliases.html:
         name=Creating command aliases
 Changing_your_prompt.html:
         name=Changing your prompt
 Clearing_the_screen.html:
         name=Clearing the screen
 Seeing_a_calendar.html:
         name=Seeing a calendar
 Changing_the_owner_of_a_file.html:
         name=Changing the owner of a file
 Checking_on_a_print_job.html:
         name=Checking on a print job
 Getting_started.html:
         name=Getting started
 OSTut_introduction.html:
         name=About this book
 Using_a_calculator.html:
         name=Using a calculator
 Checking_who_is_logged_in.html:
         name=Checking who is logged in
 Searching_for_a_file.html:
         name=Searching for a file
 Glossary.html:
         name=Glossary
 Getting_help.html:
         name=Getting help
 Reading_mail.html:
         name=Reading mail
 OSTut.contact.html:
         name=How can we improve this book?
 Reading_a_long_listing.html:
         name=Reading a long listing
 Background_processing.html:
         name=Background processing
 Using_the_vi_editor.html:
         name=Using the vi editor
 Finding_out_more_information_about_a_user.html:
         name=Finding out more information about a user
 Removing_directories.html:
         name=Removing directories
 Responding_to_mail.html:
         name=Responding to mail
 Owner_group_other.html:
         name=Owner, group, other
 Entering_text.html:
         name=Entering text
 Sending_mail.html:
         name=Sending mail
 Default_file_permissions.html:
         name=Default file permissions
 Putting_the_output_of_a_command_into_a_file.html:
         name=Putting the output of a command into a file
 Looking_at_files.html:
         name=Looking at files
 Writing_and_editing.html:
         name=Writing and editing
 COPYRIGHT.html:
         name=Copyright
 Customizing_your_environment.html:
         name=Customizing your environment
 Protecting_files_and_directories.html:
         name=Protecting files and directories
 Directories.html:
         name=Directories
 Deleting_and_recovering_mail.html:
         name=Deleting and recovering mail