1 2 3 4 5 6 7 8 9 10 11
--- docs/Makefile.orig 2016-05-12 07:43:49 UTC +++ docs/Makefile @@ -1,7 +1,6 @@ all:: - ${MAKE} -C gtkada_rm - ${MAKE} -C gtkada_ug html latexpdf + ${MAKE} -C gtkada_ug html clean:: ${MAKE} -C gtkada_rm clean