| http://www.w3.org/ns/prov#value | - 2 files changed, 60 insertions, 0 deletionsdiff --git a/docs/manual/make-tips.txt b/docs/manual/make-tips.txtnew file mode 100644index 0000000..5b00536--- /dev/null+++ b/docs/manual/make-tips.txt@@ -0,0 +1,58 @@+// -*- mode:doc -*- ;++[[make-tips]]+'make' tips+-----------++Because Buildroot is a set of Makefiles and patches, there are few+things useful to know, such as:+++make *config+ commands of
|
