Closed hoijui closed 5 years ago
strangely, some part of the build process deleted README.md
, adn on a later run, doc/pp.html
was deleted.
README.md and pp.html are generated from pp.md. In case of failure, make deletes any partially generated file.
If you build the documentation you need some dependencies (lua, python, bash, wine, ...) to build the example of the documentation.
If you just need to install the binary, just run make install
.
Note: the build system has been made to run on my machine (Fedora). On other platforms, the documentation may not be correctly generated. This should have no impact on the binary.
thank you! :-) that worked indeed!
I made a pull request to have make
(without arguments) do the commonly assumed default of just building (what gets installed with make install
).
thank you for pp
! :-)
we are most likely going ot use it for the documentation generation workflow of many porjects.
Thanks for the pull request. I think I'll go a little bit further and add explicit targets to compile, test, document and distribute pp. The default target being the compile target.
nice! :-)
done in pp 2.10
tested, works.. thank you! :-)
latest master as of 5. July 2019: 73a5e42d66bf99c7dbd1aec26ff80dd3566a91c8
uname -a