• Show log

    Commit

  • Hash : 74580967
    Author : Nick Wellnhofer
    Date : 2022-03-02T18:45:39

    Rework documentation build system
    
    Since several generated files are under version control, their
    timestamps are essentially random and rebuilding documentation using
    Makefile rules can't work reliably. Simply add a phony rebuild target
    that regenerates the whole documentation and other files
    unconditionally.
    
        make -C doc rebuild