Commit 3e91f5d0 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Ship the sources of the manual as part of the .tar.gz archive.

parent c08a0630
......@@ -140,7 +140,10 @@ package: clean
@ make -C $(PACKAGE)/doc clean all
@ mv $(PACKAGE)/doc/main.pdf $(PACKAGE)/manual.pdf
@ mv $(PACKAGE)/doc/menhir.1 $(PACKAGE)/
@ rm -rf $(PACKAGE)/doc
# Include a copy of the sources of the documentation,
# as Debian requires this for the PDF to be included
# in their package.
@ make -C $(PACKAGE)/doc clean
# Create the tarball.
@ echo "-> Tarball creation."
tar --exclude=.gitignore -cvz -f $(TARBALL) $(PACKAGE)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment