(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 398768c5534608c9aa3d2d18a154d279ec4124cd..3340665dafd0df0eef8ad2232f5ea815abd14759 100644 (file)
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -418,6 +418,7 @@ for actual code development:
   **do not** add the actual output of **any** command to the repository.
   ever.  this is really important.  even if it is a human-readable file
   rather than a binary object file.
+  it is very common to add pdfs (the result of running latex2pdf) or configure.in (the result of running automake), they are an absolute nuisance and interfere hugely with git diffs, as well as waste hard disk space *and* network bandwidth. don't do it.
 * if the command needed to create any given autogenerated output is not
   currently in the list of known project dependencies, first consult on
   the list if it is okay to make that command become a hard dependency of