Fix ocamldoc with -pp (Closes: #802347)
authorStephane Glondu <steph@glondu.net>
Tue, 20 Oct 2015 09:40:35 +0000 (11:40 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 20 Oct 2015 09:40:35 +0000 (11:40 +0200)
commit0f93e9ee91dfa37f2e6209c306fe8f2dbc46e540
tree5cd7d97a4c73b5caf091c7f9887db42b05e7ea10
parent09ff291a9699595d08f27ae344eeba60055232e5
Fix ocamldoc with -pp (Closes: #802347)
debian/patches/0010-Add-a-.file-directive-to-generated-.s-files.patch