I now see the branch org.debian.ada-reference-manual containing the Debian packaging scripts but I do not see any upstream branch containing the actual reference manual. Is there even such a branch?
Otherwise, Florian, you should get the sources from http://www.stephe-leake.org/ada/arm_info-$(DATE)-src.tar.gz as explained in README.source. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/f3837be9e6b21a823f12dbd4efd27...@localhost
