# 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