[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gpsd-dev] [PATCH] Fix Makefile, was targetting wrong file
|
From: |
Sanjeev Gupta |
|
Subject: |
[gpsd-dev] [PATCH] Fix Makefile, was targetting wrong file |
|
Date: |
Wed, 30 Oct 2013 17:57:31 +0800 |
---
doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile b/doc/Makefile
index 83672ef..a52ff9e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,2 +1,2 @@
explanation.html: $(shell ls *.xml)
- xmlto xhtml-nochunks explanation.xml
+ xmlto xhtml-nochunks internals.xml
--
1.8.3.2
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gpsd-dev] [PATCH] Fix Makefile, was targetting wrong file,
Sanjeev Gupta <=