# This directory contains the GAPDoc source files needed to produce
# the manual of 'if'. The files are
#
#      * if.xml   (the xml file, contains almost everything),
#
# The manual can be produced in GAP (when GAPDoc is loaded) with the 
# following command, given from within this directory:
#

MakeGAPDocDoc( DirectoriesPackageLibrary( "if", "doc" )[1], "if", [], "if", "../../.." );;

GAPDocManualLab( "if" );

# remove temp and log files
# rm if.aux  if.bbl  if.idx  if.ilg  if.ind  if.log   if.blg if.pnr