- Notifications
You must be signed in to change notification settings - Fork5
Commitd274d27

Michael Paquier
Remove PHONY option in documentation Makefile
This was kicking all the time a clean up of everything, rather unwelcome.1 parent6639785 commitd274d27
1 file changed
+0
-1
lines changedLines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - |
0 commit comments
Comments
(0)