Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clarify clobber rule in guidelines wrt rule 17 #66

Merged
merged 3 commits into from
Jan 23, 2025
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
More clarification in guidelines wrt rule 17
xexyl committed Jan 23, 2025
commit 065bd090cdde0427d7b45a0a23e7823cd2fc8fb4
10 changes: 9 additions & 1 deletion next/guidelines.html
Original file line number Diff line number Diff line change
@@ -1371,7 +1371,15 @@ <h2 id="the-clobber-rule">The clobber rule</h2>
<code>clobber</code> rule in the example Makefile to see how to manage this.
</p>
<p class="leftbar">
Do <strong>NOT</strong> rely on these tools for any other rule, either.
In other words, for <code>make clobber</code>, do something like:
</p>
<pre><code> clobber:
${RM} -f foo bar baz</code></pre>
<p>and <strong>NOT</strong> something like this:</p>
<pre><code> clobber:
-git clean -f</code></pre>
<p class="leftbar">
And do <strong>NOT</strong> use <code>git</code> for any other tool either.
</p>
<p>Jump to: <a href="#">top</a></p>
<div id="likes">
20 changes: 19 additions & 1 deletion next/guidelines.md
Original file line number Diff line number Diff line change
@@ -1200,9 +1200,27 @@ it will remove files that are not under `git(1)` control! Instead, see the
</p>

<p class="leftbar">
Do **NOT** rely on these tools for any other rule, either.
In other words, for `make clobber`, do something like:
</p>


``` <!---makefile-->
clobber:
${RM} -f foo bar baz
```

and **NOT** something like this:

``` <!---makefile-->
clobber:
-git clean -f
```

<p class="leftbar">
And do **NOT** use `git` for any other tool either.
</p>


Jump to: [top](#)

<div id="likes">