coq-doc won't build - unescaped backslashes in Makefile
Bug #460498 reported by
Haggai Eran
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| coq-doc (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
Bug Description
Binary package hint: coq-doc
Hi,
I tried building the source package of coq-doc in Karmic (version 8.1) and build failed. I found out that the line printing the file common/version.tex in the Makefile isn't escaped correctly, so instead of:
> common/version.tex: Makefile
> echo "\newcommand{
It should be:
> common/version.tex: Makefile
> echo "\\\newcommand{
| tags: | added: patch |
To post a comment you must log in.
