Add make html
which builds manuals but w/o PDF
#3609
Labels
gapsingular2019
Issues and PRs that arose at https://opendreamkit.org/meetings/2019-04-02-GAPSingularMeeting
good first issue
Issues that can be understood and addressed by newcomers to GAP development
kind: enhancement
Label for issues suggesting enhancements; and for pull requests implementing enhancements
topic: build system
topic: documentation
Issues and PRs related to documentation
GAPDoc 1.6.3 added a "nopdf" option to
MakeGAPDocDoc
, which allows building only the HTML and text version of a manual, without the PDF. Since compiling the PDFs tends to be by far the slowest part, it would be very desirable to have a way to build the GAP manuals without the PDFs. E.g. when editing the manuals, it's usually necessary to rebuild them several times, which easily takes several minutes for each run.My suggestion would be to add a new target to the
Makefile.rules
which does that. It could bemake html
ormake doc-html
or whatever.The text was updated successfully, but these errors were encountered: